TY  - BOOK
AU  - Baeten, J C M. Ed.
AU  - Klop, J W. ed.
TI  - CONCUR '90: Proceedings, Amsterdam, The Netherlands, 1990
SN  - 3540530487
CY  - Berlin
KW  - Theories of Concurrency: Unification
KW  - Extension
ER  -