Title of article
Formal derivation of an algorithm for distributed phase synchronization
Author/Authors
D. S. Buh ceanu، نويسنده , , W. H. J. Feijen، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
7
From page
207
To page
213
Keywords
Program derivation , Multiprogramming , Multibounds , Predicate calculus , distributed algorithms , Phase synchronization , Design heuristics , Theory of Owicki and Gries
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128588
Link To Document