DLOTOS: a LOTOS extension for clock synchronization in distributed systems

Abstract

The paper introduces a solution to the clock synchronization and timing problem in a distributed system. We present a grammar extension to LOTOS called DLOTOS and give an example of implementing discrete clocks. The resulting extension supports distributed processing and Internet computing.