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

Abstract

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
PublisherSpringer
Pages53-81
ISBN (Print)3-540-63195-X
Publication statusPublished - 1997

Publication series

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

Fingerprint

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

Cite this