Reasoning about dynamically evolving process structures
- 49 Downloads
We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.
KeywordsProof theory Pre- and post-conditions Process creation Dynamically evolving process structures Cooperation test Soundness Completeness
Unable to display preview. Download preview PDF.
© BCS 1994