Executing specifications of distributed computations with chronolog(MC)

Chuchang Liu, Mehmet A. Orgun

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

5 Citations (Scopus)


Chronolog(MC) is an extension of logic programming based on a clocked temporal logic (CTL), a linear-time temporal logic with multiple granularity of time. In CTL, each predicate is associated with a local clock. Chronolog(MC) can be applied to the specification of a wide range of simulation systems and other relevant tasks where the notion of dynamic change is central. This paper discusses the use of Chronolog(MC) in the simulation of distributed computations. In particular, it shows that specifications of distributed computations based on Hoare 's CSP formalism can be automatically transformed into Chronolog(MC) programs which are then directly executed.

Original languageEnglish
Title of host publicationProceedings of the 1996 ACM Symposium on Applied Computing, SAC 1996
PublisherAssociation for Computing Machinery
Number of pages8
VolumePart F128723
ISBN (Electronic)0897918207
Publication statusPublished - 18 Feb 1996
Event1996 ACM Symposium on Applied Computing, SAC 1996 - Philadelphia, United States
Duration: 17 Feb 199619 Feb 1996


Other1996 ACM Symposium on Applied Computing, SAC 1996
Country/TerritoryUnited States


  • clocks
  • distributed computations
  • executable specification
  • logic programming
  • simulation
  • temporal logic


Dive into the research topics of 'Executing specifications of distributed computations with chronolog(MC)'. Together they form a unique fingerprint.

Cite this