Global states and time in distributed systems - Yang, Zhonghua; Marsland, T. Anthony (IEEE Computer Society Press, 1994)