Distributed Synchronization and Regularity
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.