R. V. Rodriguez;F. D. Anger
-;-
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited