Stepwise refinement of action systems
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 115-138
- https://doi.org/10.1007/3-540-51305-1_7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Parallel Program DesignPublished by Springer Nature ,1989
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- A calculus of refinements for program derivationsActa Informatica, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Decentralization of process nets with centralized controlPublished by Association for Computing Machinery (ACM) ,1983
- A methodology for programming with concurrency: the formalismScience of Computer Programming, 1982
- Formal derivation of strongly correct concurrent programsActa Informatica, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- ReductionCommunications of the ACM, 1975