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)

Abstract

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
Pages393-400
Number of pages8
VolumePart F128723
ISBN (Electronic)0897918207
DOIs
Publication statusPublished - 18 Feb 1996
Event1996 ACM Symposium on Applied Computing, SAC 1996 - Philadelphia, United States
Duration: 17 Feb 199619 Feb 1996

Other

Other1996 ACM Symposium on Applied Computing, SAC 1996
CountryUnited States
CityPhiladelphia
Period17/02/9619/02/96

Keywords

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

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

Cite this