Amsterdam, The Netherlands, August 27–30, 1990 Proceedings
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 99-114