@inproceedings{paper39, title = "Retracing some paths in process algebra", author = "S. Abramsky", year = "1996", booktitle = "{CONCUR '96}: Concurrency Theory, 7th International Conference", editor = "U. Montanari and V. Sassone", pages = "1-17", publisher = "Springer-Verlag", }