Formal Aspects of Computing

, Volume 6, Issue 3, pp 269–316

Reasoning about dynamically evolving process structures

  • Pierre America
  • Frank de Boer


We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Personalised recommendations