On a method for the formal design of multiprograms

W.H.J. Feijen, A.J.M. Gasteren, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review


We exemplify a method for the formal derivation of multiprograms, using the simple theory of Owicki and Gries as our main tool for coping with concurrency. In our first and simple example we derive a protocol for the problem of Concurrent Vector Writing, and in our second and more tricky example we design a distributed algorithm for the problem of Liberal Phase Synchronization.
Original languageEnglish
Title of host publicationMathematical methods in program development
EditorsM. Broy, B. Schieder
ISBN (Print)3-540-63195-X
Publication statusPublished - 1997

Publication series

NameNATO ASI, Series F: Computer and System Sciences
ISSN (Print)1387-6694


Dive into the research topics of 'On a method for the formal design of multiprograms'. Together they form a unique fingerprint.

Cite this