Homology of higher dimensional automata (1992)

by E Goubault, T P Jensen
Venue:In Proc. 3rd International Conference on Concurrency Theory, volume 630 of LNCS