A model for mobile point-to-point data-flow networks without channel sharing
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 504-519
- https://doi.org/10.1007/bfb0014336
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Advanced component interface specificationPublished by Springer Nature ,1995
- Equations for describing dynamic nets of communicating systemsPublished by Springer Nature ,1995
- Modelling operating system structures by timed stream processing functionsJournal of Functional Programming, 1992
- Towards a theory of actor computationPublished by Springer Nature ,1992
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract)Published by Springer Nature ,1989
- Semantics of finite and infinite networks of concurrent communicating agentsDistributed Computing, 1987
- A fully abstract semantics for data flow netsPublished by Springer Nature ,1987
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- Scenarios: A model of non-determinate computationPublished by Springer Nature ,1981