Reasoning about dynamically evolving process structures
- 1 May 1994
- journal article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 6 (3) , 269-316
- https://doi.org/10.1007/bf01215408
Abstract
We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.Keywords
This publication has 9 references indexed in Scilit:
- Issues in the design of a parallel object-oriented languageFormal Aspects of Computing, 1989
- Operational semantics of a parallel object-oriented languagePublished by Association for Computing Machinery (ACM) ,1986
- The quest goes on: A survey of proofsystems for partial correctness of CSPPublished by Springer Nature ,1986
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A new method for determining linear precedence functions for precedence grammarsCommunications of the ACM, 1969