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 language | English |
---|---|
Title of host publication | Proceedings of the 1996 ACM Symposium on Applied Computing, SAC 1996 |
Publisher | Association for Computing Machinery |
Pages | 393-400 |
Number of pages | 8 |
Volume | Part F128723 |
ISBN (Electronic) | 0897918207 |
DOIs | |
Publication status | Published - 18 Feb 1996 |
Event | 1996 ACM Symposium on Applied Computing, SAC 1996 - Philadelphia, United States Duration: 17 Feb 1996 → 19 Feb 1996 |
Other
Other | 1996 ACM Symposium on Applied Computing, SAC 1996 |
---|---|
Country/Territory | United States |
City | Philadelphia |
Period | 17/02/96 → 19/02/96 |
Keywords
- clocks
- distributed computations
- executable specification
- logic programming
- simulation
- temporal logic