Livas, Dimitrios (1990) Distributed global state detection system : specification and design. Masters thesis, Concordia University.