Second Asia-Pacific Conference on Quality Software (APAQS'01)
DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems
Hong Kong
December 10-December 11
ISBN: 0-7695-1287-9
This paper introduces a solution to 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.