Retracing some paths in process algebra, in (1996)

by S Abramsky
Venue:Proc. 7th International Conference on Concurrency Theory (CONCUR’96), Lecture Notes in Computer Science 1119