@inbook{d503954b601e4294b08434885a9e4688,
title = "On a method for the formal design of multiprograms",
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.",
author = "W.H.J. Feijen and {Gasteren, van}, A.J.M.",
year = "1997",
language = "English",
isbn = "3-540-63195-X",
series = "NATO ASI, Series F: Computer and System Sciences",
publisher = "Springer",
pages = "53--81",
editor = "M. Broy and B. Schieder",
booktitle = "Mathematical methods in program development",
address = "Germany",
}