Refinement calculus, part II: Parallel and reactive programs
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Decentralization of process nets with centralized controlDistributed Computing, 1989
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- Proving entailment between conceptual state specificationsTheoretical Computer Science, 1988
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- On the design of reactive systemsBIT Numerical Mathematics, 1988
- Stepwise removal of virtual channels in distributed algorithmsPublished by Springer Nature ,1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983
- Communicating sequential processesCommunications of the ACM, 1978