Stepwise refinement of communicating systems
- 30 September 1996
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 27 (2) , 139-173
- https://doi.org/10.1016/0167-6423(96)81173-7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Action systems, unbounded nondeterminism, and infinite tracesFormal Aspects of Computing, 1995
- Composition of assumption-commitment specifications in a UNITY styleScience of Computer Programming, 1994
- Unbounded Non-determinism in CSPJournal of Logic and Computation, 1993
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Laws of data refinementActa Informatica, 1989
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- A state-based approach to communicating processesDistributed Computing, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Theory of GraphsPublished by American Mathematical Society (AMS) ,1962