Formal derivation of an algorithm for distributed phase synchronization

DOI10.1016/S0020-0190(96)00156-1MaRDI QIDQ673351zbMATH OpenOpenAlexFDO

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

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

Design heuristicsDistributed algorithmsMultiboundsMultiprogrammingPhase synchronizationPredicate calculusProgram derivationTheory of Owicki and Gries

Mathematics Subject Classification ID

Theory of software (68N99)

Cites work

• An axiomatic proof technique for parallel programs
• An implementation of mutual inclusion
• scientific article; zbMATH DE number 3784244 (Why is no real title available?)
• scientific article; zbMATH DE number 46743 (Why is no real title available?)
• scientific article; zbMATH DE number 50008 (Why is no real title available?)
• scientific article; zbMATH DE number 1330044 (Why is no real title available?)
• Phase synchronization

Cited in

(5)

• Design and verification of distributed phasers
• scientific article; zbMATH DE number 1088211 (Why is no real title available?)
• scientific article; zbMATH DE number 1088214 (Why is no real title available?)
• On Phase Response Function Based Decentralized Phase Desynchronization
• THE PHASE WEB PARADIGM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673351)