Reasoning about dynamically evolving process structures
- Cite this article as:
- America, P. & de Boer, F. Formal Aspects of Computing (1994) 6: 269. doi:10.1007/BF01215408
- 48 Downloads
We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.