The denotational semantics of dynamic networks of processes
- 1 October 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 7 (4) , 656-679
- https://doi.org/10.1145/4472.4473
Abstract
DNP (dynamic networks of processes) is a variant of the language introduced by Kahn and MacQueen [11, 12]. In the language it is possible to create new processes dynamically. We present a complete, formal denotational semantics for the language, along the lines sketched by Kahn and MacQueen. An informal explanation of the formal semantics is also given.Keywords
This publication has 5 references indexed in Scilit:
- A proof system for partial correctness of dynamic networks of processesPublished by Springer Nature ,1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976