Year: 1994
Type: article
Abstract: We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.
Source: Formal Aspects of Computing
DOI: 10.1007/bf01215408
Authors: Pierre America, Frank de Boer
Institutions: Philips (Netherlands), Eindhoven University of Technology
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2159609157