Bisimulations for higher dimensional automata. Email message (1991)

by Rob J van Glabbeek