Homology of higher-dimensional automata (1992)

by E Goubault, T P Jensen
Venue:In Proc. of CONCUR’92, Stonybrook