Bisimulations for higher dimensional automata. Email message sent to the Concurrence mailing list on July 7 (1991)

by Rob J van Glabbeek