• DocumentCode
    2340563
  • Title

    DLOTOS: a LOTOS extension for clock synchronization in distributed systems

  • Author

    Hassan, Waël A.

  • Author_Institution
    SITE, Ottawa Univ., Ont., Canada
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    149
  • Lastpage
    153
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
  • Conference_Location
    Hong Kong
  • Print_ISBN
    0-7695-1287-9
  • Type

    conf

  • DOI
    10.1109/APAQS.2001.990013
  • Filename
    990013
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2340563