Reasoning about dynamically evolving process structures

P.H.M. America, F.S. Boer, de

Research output: Contribution to journalArticleAcademicpeer-review

23 Citations (Scopus)

Abstract

We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.
Original languageEnglish
Pages (from-to)269-316
JournalFormal Aspects of Computing
Volume6
Issue number3
DOIs
Publication statusPublished - 1994

Fingerprint Dive into the research topics of 'Reasoning about dynamically evolving process structures'. Together they form a unique fingerprint.

Cite this