Retracing some paths in process algebra
S. Abramsky
Book Title
CONCUR '96: Concurrency Theory‚ 7th International Conference
Editor
U. Montanari and V. Sassone
Pages
1−17
Publisher
Springer−Verlag
Year
1996
S. Abramsky