A distributed algorithm to prevent mutual drift between n logical clocks

DOI10.1016/0020-0190(87)90186-4zbMath0619.68018OpenAlexW2067174417MaRDI QIDQ1089788

Michel Raynal

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90186-4

zbMATH Keywords

networkcorrectnessprotocoldistributed computingdistributed algorithmprogramming methodologylogical time

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• A correctness proof of a topology information maintenance protocol for a distributed computer network
• Time, clocks, and the ordering of events in a distributed system
• Communicating sequential processes
• An axiomatic basis for computer programming

This page was built for publication: A distributed algorithm to prevent mutual drift between n logical clocks