Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060336880> ?p ?o ?g. }
- W2060336880 endingPage "212" @default.
- W2060336880 startingPage "197" @default.
- W2060336880 abstract "A dataflow network consists of nodes that communicate over perfect unbounded FIFO channels. For dataflow networks containing only deterministic nodes, a simple and elegant semantic model has been presented by Kahn. However, for nondeterministic networks, the straight-forward generalization of Kahn's model is not compositional. We present a compositional model for nondeterministic networks that is fully abstract i.e., it has added the least amount of extra information to Kahn's model that is necessary for attaining compositionality. The model is based on traces. We also generalize our result, showing that the model is fully abstract also for classes of networks where nodes communicate over other types of asynchronous channels. Examples of such classes are networks with unordered channels, and networks with lossy channels." @default.
- W2060336880 created "2016-06-24" @default.
- W2060336880 creator A5009514870 @default.
- W2060336880 date "1994-05-01" @default.
- W2060336880 modified "2023-10-18" @default.
- W2060336880 title "A fully abstract trace model for dataflow and asynchronous networks" @default.
- W2060336880 cites W1480089038 @default.
- W2060336880 cites W1483256715 @default.
- W2060336880 cites W1496594277 @default.
- W2060336880 cites W1506588809 @default.
- W2060336880 cites W1568901320 @default.
- W2060336880 cites W1598337380 @default.
- W2060336880 cites W1859799251 @default.
- W2060336880 cites W1981983505 @default.
- W2060336880 cites W2000302396 @default.
- W2060336880 cites W2009408666 @default.
- W2060336880 cites W2014708482 @default.
- W2060336880 cites W2028621470 @default.
- W2060336880 cites W2030755010 @default.
- W2060336880 cites W2035845010 @default.
- W2060336880 cites W2038952689 @default.
- W2060336880 cites W2044706372 @default.
- W2060336880 cites W2046381502 @default.
- W2060336880 cites W2063956272 @default.
- W2060336880 cites W2065927961 @default.
- W2060336880 cites W2072134574 @default.
- W2060336880 cites W2092844221 @default.
- W2060336880 cites W2102097307 @default.
- W2060336880 cites W2102187481 @default.
- W2060336880 cites W2144545266 @default.
- W2060336880 cites W2157144873 @default.
- W2060336880 cites W2158743268 @default.
- W2060336880 cites W2161077946 @default.
- W2060336880 cites W2914206182 @default.
- W2060336880 doi "https://doi.org/10.1007/bf02280834" @default.
- W2060336880 hasPublicationYear "1994" @default.
- W2060336880 type Work @default.
- W2060336880 sameAs 2060336880 @default.
- W2060336880 citedByCount "26" @default.
- W2060336880 countsByYear W20603368802012 @default.
- W2060336880 countsByYear W20603368802013 @default.
- W2060336880 countsByYear W20603368802014 @default.
- W2060336880 countsByYear W20603368802015 @default.
- W2060336880 countsByYear W20603368802016 @default.
- W2060336880 countsByYear W20603368802017 @default.
- W2060336880 countsByYear W20603368802018 @default.
- W2060336880 countsByYear W20603368802019 @default.
- W2060336880 countsByYear W20603368802021 @default.
- W2060336880 countsByYear W20603368802023 @default.
- W2060336880 crossrefType "journal-article" @default.
- W2060336880 hasAuthorship W2060336880A5009514870 @default.
- W2060336880 hasBestOaLocation W20603368802 @default.
- W2060336880 hasConcept C111472728 @default.
- W2060336880 hasConcept C120314980 @default.
- W2060336880 hasConcept C121375916 @default.
- W2060336880 hasConcept C134306372 @default.
- W2060336880 hasConcept C138885662 @default.
- W2060336880 hasConcept C151319957 @default.
- W2060336880 hasConcept C154945302 @default.
- W2060336880 hasConcept C173608175 @default.
- W2060336880 hasConcept C176181172 @default.
- W2060336880 hasConcept C177148314 @default.
- W2060336880 hasConcept C199360897 @default.
- W2060336880 hasConcept C2777145635 @default.
- W2060336880 hasConcept C2780586882 @default.
- W2060336880 hasConcept C31258907 @default.
- W2060336880 hasConcept C33923547 @default.
- W2060336880 hasConcept C41008148 @default.
- W2060336880 hasConcept C41895202 @default.
- W2060336880 hasConcept C75291252 @default.
- W2060336880 hasConcept C80444323 @default.
- W2060336880 hasConcept C96324660 @default.
- W2060336880 hasConceptScore W2060336880C111472728 @default.
- W2060336880 hasConceptScore W2060336880C120314980 @default.
- W2060336880 hasConceptScore W2060336880C121375916 @default.
- W2060336880 hasConceptScore W2060336880C134306372 @default.
- W2060336880 hasConceptScore W2060336880C138885662 @default.
- W2060336880 hasConceptScore W2060336880C151319957 @default.
- W2060336880 hasConceptScore W2060336880C154945302 @default.
- W2060336880 hasConceptScore W2060336880C173608175 @default.
- W2060336880 hasConceptScore W2060336880C176181172 @default.
- W2060336880 hasConceptScore W2060336880C177148314 @default.
- W2060336880 hasConceptScore W2060336880C199360897 @default.
- W2060336880 hasConceptScore W2060336880C2777145635 @default.
- W2060336880 hasConceptScore W2060336880C2780586882 @default.
- W2060336880 hasConceptScore W2060336880C31258907 @default.
- W2060336880 hasConceptScore W2060336880C33923547 @default.
- W2060336880 hasConceptScore W2060336880C41008148 @default.
- W2060336880 hasConceptScore W2060336880C41895202 @default.
- W2060336880 hasConceptScore W2060336880C75291252 @default.
- W2060336880 hasConceptScore W2060336880C80444323 @default.
- W2060336880 hasConceptScore W2060336880C96324660 @default.
- W2060336880 hasIssue "4" @default.
- W2060336880 hasLocation W20603368801 @default.
- W2060336880 hasLocation W20603368802 @default.
- W2060336880 hasOpenAccess W2060336880 @default.
- W2060336880 hasPrimaryLocation W20603368801 @default.
- W2060336880 hasRelatedWork W1598337380 @default.