Formal Aspects of Computing

, Volume 6, Issue 3, pp 269–316

Reasoning about dynamically evolving process structures

  • Pierre America
  • Frank de Boer
Article

DOI: 10.1007/BF01215408

Cite this article as:
America, P. & de Boer, F. Formal Aspects of Computing (1994) 6: 269. doi: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

Proof theory Pre- and post-conditions Process creation Dynamically evolving process structures Cooperation test Soundness Completeness 

Copyright information

© BCS 1994

Authors and Affiliations

  • Pierre America
    • 1
  • Frank de Boer
    • 2
  1. 1.Philips Research LaboratoriesEindhovenThe Netherlands
  2. 2.Department of Computing ScienceEindhoven University of TechnologyMB EindhovenThe Netherlands