Semantics of finite and infinite networks of concurrent communicating agents
- 1 March 1987
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 2 (1) , 13-31
- https://doi.org/10.1007/bf01786252
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Partial abstract typesActa Informatica, 1982
- A Fixed Point Approach to Applicative MultiprogrammingPublished by Springer Nature ,1982
- Scenarios: A model of non-determinate computationPublished by Springer Nature ,1981
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976