Higher Dimensional Automata Revisited, (2000)

by V Pratt
Venue:Mathematical Structures in Computer Science,