Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491197166> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1491197166 abstract "We define a notion of genericity well-suited for networks of processes specified in Hoare's language CSP. Genericity expresses that processes have initially no knowledge of the network they are embedded in. We consider the problem of a fixed originator broadcasting a data through a given network. We show that the existence of generic (and/or symmetric) solutions to this problem depends crucially on the network's connectivity and on the use of I/O communication guards in CSP processes. This leads to a precise evaluation of the expressive power of guards in CSP. In particular, dynamic network exploration is possible if I/O guards are allowed. The algorithms described in this paper are built by systematic derivations from the so-called wave paradigm." @default.
- W1491197166 created "2016-06-24" @default.
- W1491197166 creator A5020271777 @default.
- W1491197166 date "1988-01-01" @default.
- W1491197166 modified "2023-09-26" @default.
- W1491197166 title "On the existence of generic broadcast algorithms in networks of Communicating Sequential Processes" @default.
- W1491197166 cites W1969548902 @default.
- W1491197166 cites W2005774723 @default.
- W1491197166 cites W2013173096 @default.
- W1491197166 cites W2052504823 @default.
- W1491197166 cites W2059563369 @default.
- W1491197166 cites W2070373441 @default.
- W1491197166 cites W2097067636 @default.
- W1491197166 cites W2099012404 @default.
- W1491197166 cites W2296352387 @default.
- W1491197166 cites W4211008702 @default.
- W1491197166 doi "https://doi.org/10.1007/bfb0019818" @default.
- W1491197166 hasPublicationYear "1988" @default.
- W1491197166 type Work @default.
- W1491197166 sameAs 1491197166 @default.
- W1491197166 citedByCount "2" @default.
- W1491197166 crossrefType "book-chapter" @default.
- W1491197166 hasAuthorship W1491197166A5020271777 @default.
- W1491197166 hasConcept C110157686 @default.
- W1491197166 hasConcept C11413529 @default.
- W1491197166 hasConcept C120314980 @default.
- W1491197166 hasConcept C121332964 @default.
- W1491197166 hasConcept C155214134 @default.
- W1491197166 hasConcept C156325763 @default.
- W1491197166 hasConcept C163258240 @default.
- W1491197166 hasConcept C184337299 @default.
- W1491197166 hasConcept C195818886 @default.
- W1491197166 hasConcept C199360897 @default.
- W1491197166 hasConcept C31258907 @default.
- W1491197166 hasConcept C41008148 @default.
- W1491197166 hasConcept C62520636 @default.
- W1491197166 hasConcept C80444323 @default.
- W1491197166 hasConceptScore W1491197166C110157686 @default.
- W1491197166 hasConceptScore W1491197166C11413529 @default.
- W1491197166 hasConceptScore W1491197166C120314980 @default.
- W1491197166 hasConceptScore W1491197166C121332964 @default.
- W1491197166 hasConceptScore W1491197166C155214134 @default.
- W1491197166 hasConceptScore W1491197166C156325763 @default.
- W1491197166 hasConceptScore W1491197166C163258240 @default.
- W1491197166 hasConceptScore W1491197166C184337299 @default.
- W1491197166 hasConceptScore W1491197166C195818886 @default.
- W1491197166 hasConceptScore W1491197166C199360897 @default.
- W1491197166 hasConceptScore W1491197166C31258907 @default.
- W1491197166 hasConceptScore W1491197166C41008148 @default.
- W1491197166 hasConceptScore W1491197166C62520636 @default.
- W1491197166 hasConceptScore W1491197166C80444323 @default.
- W1491197166 hasLocation W14911971661 @default.
- W1491197166 hasOpenAccess W1491197166 @default.
- W1491197166 hasPrimaryLocation W14911971661 @default.
- W1491197166 hasRelatedWork W1557853716 @default.
- W1491197166 hasRelatedWork W1604427472 @default.
- W1491197166 hasRelatedWork W1970485613 @default.
- W1491197166 hasRelatedWork W1984719907 @default.
- W1491197166 hasRelatedWork W2033743424 @default.
- W1491197166 hasRelatedWork W2061847815 @default.
- W1491197166 hasRelatedWork W2075786811 @default.
- W1491197166 hasRelatedWork W2089984592 @default.
- W1491197166 hasRelatedWork W2120568468 @default.
- W1491197166 hasRelatedWork W2121817468 @default.
- W1491197166 hasRelatedWork W2200783909 @default.
- W1491197166 hasRelatedWork W2256984707 @default.
- W1491197166 hasRelatedWork W2342506888 @default.
- W1491197166 hasRelatedWork W2618266106 @default.
- W1491197166 hasRelatedWork W2888048527 @default.
- W1491197166 hasRelatedWork W2912454408 @default.
- W1491197166 hasRelatedWork W2950418963 @default.
- W1491197166 hasRelatedWork W2951926089 @default.
- W1491197166 hasRelatedWork W3047752890 @default.
- W1491197166 hasRelatedWork W3147692698 @default.
- W1491197166 isParatext "false" @default.
- W1491197166 isRetracted "false" @default.
- W1491197166 magId "1491197166" @default.
- W1491197166 workType "book-chapter" @default.