Proceedings of the seventeenth international colloquium on Automata, languages and programming
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science (ENTCS)
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science (ENTCS)
Non-interleaving Semantics with Causality for Nondeterministic Dataflow
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Bicategories of concurrent games
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Hi-index | 0.00 |
A compositional semantics for nondeterministic dataflow processes is described using spans of event structures; such a span describes a computation between datatypes, themselves represented by event structures, as itself an event structure. The spans of event structures represent certain profunctors (a generalisation of relations) used previously in a compositional semantics of nondeterministic dataflow and in the semantics of higher-order processes. Deterministic spans of event structures are shown to correspond to stable continuous functions and their semantics of dataflow to reduce to the usual least fixed-point semantics of Kahn.