Stepwise refinement of parallel algorithms
- 31 May 1990
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 13 (2-3) , 133-180
- https://doi.org/10.1016/0167-6423(90)90069-p
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- 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
- Data refinement by miraclesInformation Processing Letters, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- A Methodology for Developing Distributed ProgramsIEEE Transactions on Software Engineering, 1987
- An example of stepwise refinement of distributed programs: quiescence detectionACM Transactions on Programming Languages and Systems, 1986
- Program Transformation SystemsACM Computing Surveys, 1983
- On-the-fly garbage collectionCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978