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