Elsevier

Computer Networks (1976)

Volume 3, Issue 1, February 1979, Pages 36-43
Computer Networks (1976)

Distributed synchronization and regularity

https://doi.org/10.1016/0376-5075(79)90052-7Get rights and content

Abstract

The communication delays between the different components of a distributed system often create problems for the logical consistency of the overall system behaviour. The ideas presented in this paper suggest to eliminate these problems by observing certain regularity constraints during the system design, which guarantee that the logical behaviour of the system is independent of the communication delays. The paper presents a descriptive model for the specification of distributed systems, and defined system properties which imply regular system behaviour. A sufficient condition for checking the regularity of a given system is given. The application of the concepts presented is illustrated by several examples.

References (8)

  • P Robert et al.

    Toward autonomous descriptions of synchronization modules

  • G.V Bochmann et al.

    A unified method for the specification and verification of protocols

  • E André et al.

    On providing distributed application programmers with control over synchronization

  • K Jensen et al.
There are more references available in the full text version of this article.

Cited by (6)

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”.

View full text