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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=128588
بازگشت