Executing specifications of distributed computations with Chronolog(MC)

  title={Executing specifications of distributed computations with Chronolog(MC)},
  author={Chuchang Liu and Mehmet A. Orgun},
Chronolog(MC) is an extension of logic programruing 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 o] distributed computations. In particular, it shows that… CONTINUE READING