Specification and top-down design of distributed systems
- 1 April 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 34 (2) , 236-265
- https://doi.org/10.1016/0022-0000(87)90026-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Predicative specifications for functional programs describing communicating networksInformation Processing Letters, 1987
- Semantics of communicating processesInformation and Control, 1984
- Predicative programming Part ICommunications of the ACM, 1984
- Denotational semantics of communicating processes based on a language for applicative multiprogrammingInformation Processing Letters, 1983
- Partial abstract typesActa Informatica, 1982
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976