An Expressive Extension of TLC
Jesper G. Henriksen September 1999 |
Abstract:
A temporal logic of causality (TLC) was introduced by Alur,
Penczek and Peled. It is basically a linear time temporal logic interpreted
over Mazurkiewicz traces which allows quantification over causal chains.
Through this device one can directly formulate causality properties of
distributed systems. In this paper we consider an extension of TLC by
strengthening the chain quantification operators. We show that our logic
TLC
![]() ![]() ![]() Available as PostScript, PDF, DVI. |