Homotopy and concurrency (1994)

by J Gunawardena
Venue:Bull. EATCS