Thiagarajan, P. S., and Jesper G. Henriksen. 1998. “Distributed Versions of Linear Time Temporal Logic: A Trace Perspective”. BRICS Report Series 5 (8). https://doi.org/10.7146/brics.v5i8.19280.