Title :
DLOTOS: a LOTOS extension for clock synchronization in distributed systems
Author_Institution :
SITE, Ottawa Univ., Ont., Canada
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
Keywords :
Internet; clocks; distributed programming; grammars; specification languages; synchronisation; DLOTOS; Internet computing; LOTOS extension; clock synchronization; distributed processing; distributed systems; grammar extension; Clocks; Communication channels; Delay; Distributed computing; Distributed processing; ISO; Internet; Synchronization; Timing; World Wide Web;
Conference_Titel :
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-1287-9
DOI :
10.1109/APAQS.2001.990013
