publisher of On networks of two-way channels. Dimacs Series in Discrete Mathematics and Theoretical Computer Science. 133-143. 2005 Compressing a Representation of Events in a Concurrent System.. 25-42. 2003