Formal derivation of an algorithm for distributed phase synchronization

DOI10.1016/S0020-0190(96)00156-1zbMath0900.68158OpenAlexW1974466953MaRDI QIDQ673351

W. H. J. Feijen, D. S. Buhăceanu

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(96)00156-1

zbMATH Keywords

Distributed algorithmsDesign heuristicsMultiboundsMultiprogrammingPhase synchronizationPredicate calculusProgram derivationTheory of Owicki and Gries

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An implementation of mutual inclusion
• Phase synchronization
• An axiomatic proof technique for parallel programs

This page was built for publication: Formal derivation of an algorithm for distributed phase synchronization