Phase Synchronization for two machines

  • Wim H. J. Feijen
Conference paper
Part of the NATO ASI Series book series (volume 88)


This is an exercise in formally deriving little multiprograms with the theory of Owicki and Gries and the predicate calculus as our only tools for reasoning. But before we embark on the selected example, we will first explain the Owicki-Gries theory in a very rudimentary fashion.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Wim H. J. Feijen
    • 1
  1. 1.Dept. of Mathematics & Computing ScienceEindhoven University of Techn.MB EindhovenNetherland

Personalised recommendations