Retracing some paths in process algebra (CONCUR '96: Concurrency Theory‚ 7th International Conference, 1996)

(untitled) - Abramsky, S