Baeten, J C M. Ed. Klop, J W. ed.
CONCUR '90 Proceedings, Amsterdam, The Netherlands, 1990 - Berlin Springer Verlag 1990 - 536 - Lecture notes in computer science ; 00458 .
3540530487
Theories of Concurrency: Unification
Extension
681 LNCS
CONCUR '90 Proceedings, Amsterdam, The Netherlands, 1990 - Berlin Springer Verlag 1990 - 536 - Lecture notes in computer science ; 00458 .
3540530487
Theories of Concurrency: Unification
Extension
681 LNCS