Abramsky \Retracing some paths in process algebra", in CONCUR '96: Concurrency Theory (1996)

by Samson
Venue:Proceedings of 7th International Conference