Matches in SemOpenAlex for { <https://semopenalex.org/work/W2241066281> ?p ?o ?g. }
- W2241066281 abstract "We recast dataflow in a modern categorical light using profunctors as a generalization of relations. The well known causal anomalies associated with relational semantics of indeterminate dataflow are avoided, but still we preserve<br />much of the intuitions of a relational model. The development fits with the view of categories of models for concurrency and the general treatment of bisimulation they provide. In particular it fits with the recent categorical formulation of feedback using traced monoidal categories. The payoffs are: (1) explicit relations to existing models and semantics, especially the<br />usual axioms of monotone IO automata are read off from the definition of profunctors, (2) a new definition of bisimulation for dataflow, the proof of the congruence of which benefits from the preservation properties associated with open maps and (3) a treatment of higher-order dataflow as a biproduct,<br />essentially by following the geometry of interaction programme." @default.
- W2241066281 created "2016-06-24" @default.
- W2241066281 creator A5062948122 @default.
- W2241066281 creator A5068822568 @default.
- W2241066281 creator A5082171323 @default.
- W2241066281 date "1997-06-06" @default.
- W2241066281 modified "2023-10-02" @default.
- W2241066281 title "Relational Semantics of Non-Deterministic Dataflow" @default.
- W2241066281 cites W1480719175 @default.
- W2241066281 cites W1487534524 @default.
- W2241066281 cites W1511331505 @default.
- W2241066281 cites W1535347731 @default.
- W2241066281 cites W1597755753 @default.
- W2241066281 cites W1605626978 @default.
- W2241066281 cites W164669441 @default.
- W2241066281 cites W1839301012 @default.
- W2241066281 cites W1868937033 @default.
- W2241066281 cites W1879413597 @default.
- W2241066281 cites W1955927414 @default.
- W2241066281 cites W1973795188 @default.
- W2241066281 cites W1982733263 @default.
- W2241066281 cites W2008699979 @default.
- W2241066281 cites W2016554178 @default.
- W2241066281 cites W2043229226 @default.
- W2241066281 cites W2046381502 @default.
- W2241066281 cites W2099361053 @default.
- W2241066281 cites W2107517480 @default.
- W2241066281 cites W2133575940 @default.
- W2241066281 cites W2152364675 @default.
- W2241066281 cites W2290703736 @default.
- W2241066281 cites W2296865530 @default.
- W2241066281 cites W2367033589 @default.
- W2241066281 cites W2409053464 @default.
- W2241066281 doi "https://doi.org/10.7146/brics.v4i36.18962" @default.
- W2241066281 hasPublicationYear "1997" @default.
- W2241066281 type Work @default.
- W2241066281 sameAs 2241066281 @default.
- W2241066281 citedByCount "3" @default.
- W2241066281 crossrefType "journal-article" @default.
- W2241066281 hasAuthorship W2241066281A5062948122 @default.
- W2241066281 hasAuthorship W2241066281A5068822568 @default.
- W2241066281 hasAuthorship W2241066281A5082171323 @default.
- W2241066281 hasBestOaLocation W22410662811 @default.
- W2241066281 hasConcept C119857082 @default.
- W2241066281 hasConcept C132074034 @default.
- W2241066281 hasConcept C134306372 @default.
- W2241066281 hasConcept C135315306 @default.
- W2241066281 hasConcept C136119220 @default.
- W2241066281 hasConcept C156325763 @default.
- W2241066281 hasConcept C167729594 @default.
- W2241066281 hasConcept C177148314 @default.
- W2241066281 hasConcept C184337299 @default.
- W2241066281 hasConcept C193702766 @default.
- W2241066281 hasConcept C199360897 @default.
- W2241066281 hasConcept C202444582 @default.
- W2241066281 hasConcept C207648694 @default.
- W2241066281 hasConcept C2524010 @default.
- W2241066281 hasConcept C2834757 @default.
- W2241066281 hasConcept C33923547 @default.
- W2241066281 hasConcept C41008148 @default.
- W2241066281 hasConcept C5274069 @default.
- W2241066281 hasConcept C80444323 @default.
- W2241066281 hasConcept C96324660 @default.
- W2241066281 hasConcept C9672783 @default.
- W2241066281 hasConceptScore W2241066281C119857082 @default.
- W2241066281 hasConceptScore W2241066281C132074034 @default.
- W2241066281 hasConceptScore W2241066281C134306372 @default.
- W2241066281 hasConceptScore W2241066281C135315306 @default.
- W2241066281 hasConceptScore W2241066281C136119220 @default.
- W2241066281 hasConceptScore W2241066281C156325763 @default.
- W2241066281 hasConceptScore W2241066281C167729594 @default.
- W2241066281 hasConceptScore W2241066281C177148314 @default.
- W2241066281 hasConceptScore W2241066281C184337299 @default.
- W2241066281 hasConceptScore W2241066281C193702766 @default.
- W2241066281 hasConceptScore W2241066281C199360897 @default.
- W2241066281 hasConceptScore W2241066281C202444582 @default.
- W2241066281 hasConceptScore W2241066281C207648694 @default.
- W2241066281 hasConceptScore W2241066281C2524010 @default.
- W2241066281 hasConceptScore W2241066281C2834757 @default.
- W2241066281 hasConceptScore W2241066281C33923547 @default.
- W2241066281 hasConceptScore W2241066281C41008148 @default.
- W2241066281 hasConceptScore W2241066281C5274069 @default.
- W2241066281 hasConceptScore W2241066281C80444323 @default.
- W2241066281 hasConceptScore W2241066281C96324660 @default.
- W2241066281 hasConceptScore W2241066281C9672783 @default.
- W2241066281 hasIssue "36" @default.
- W2241066281 hasLocation W22410662811 @default.
- W2241066281 hasOpenAccess W2241066281 @default.
- W2241066281 hasPrimaryLocation W22410662811 @default.
- W2241066281 hasRelatedWork W1536150964 @default.
- W2241066281 hasRelatedWork W1648055155 @default.
- W2241066281 hasRelatedWork W2148160518 @default.
- W2241066281 hasRelatedWork W2167402303 @default.
- W2241066281 hasRelatedWork W2167838019 @default.
- W2241066281 hasRelatedWork W2241066281 @default.
- W2241066281 hasRelatedWork W2614427934 @default.
- W2241066281 hasRelatedWork W2807761056 @default.
- W2241066281 hasRelatedWork W2962876128 @default.
- W2241066281 hasRelatedWork W2583415395 @default.
- W2241066281 hasVolume "4" @default.