Distributed synchronization and regularity☆
References (8)
- et al.
Toward autonomous descriptions of synchronization modules
- et al.
A unified method for the specification and verification of protocols
- et al.
On providing distributed application programmers with control over synchronization
- et al.
There are more references available in the full text version of this article.
Cited by (6)
Computer networks and distributed systems
1988, Microelectronics ReliabilityA distributed algorithm to prevent mutual drift between n logical clocks
1987, Information Processing LettersAn improved protocol validation technique
1982, Computer Networks (1976)Structural transformations for data-enriched real-time systems
2015, Formal Aspects of ComputingDelay-Independent Design for Distributed Systems
1988, IEEE Transactions on Software EngineeringOn the Construction of Submodule Specifications and Communication Protocols
1983, ACM Transactions on Programming Languages and Systems (TOPLAS)
- ☆
This work was performed while the author was on leave at the Département de Mathématiques de l'Ecole Polytechnique Fédérale de Lausanne, Suisse. An earlier version of this paper has been presented at the Berkeley Workshop, San Francisco, August 1978, under the title “Synchronization in distributed system modules”.
Copyright © 1979 Published by Elsevier B.V.