TY - BOOK AU - Beeten J C M ED - CONCUR'90( 1990 : Amsterdam) ED - CONCUR'90 TI - Theories of concurrency unification and extention : proceedings U1 - 4.0151 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Computer science ER -