Retracing Some Paths in Process Algebra (0)

by S Abramsky
Venue:In Proceedings of CONCUR 96, Lecture