TY - BOOK AU - BAETEN,J.C.M (ED), KLOP,J.W (ED) TI - CONCUR'90-THEORIES OF CONCURRENCY: UNIFICATION AND EXTENSION,AMSTERDAM,AUGUST 1990 PROCEEDINGS (LNCS SN - NCST U1 - 405 PY - 1990/// CY - BERLIN PB - SV N1 - BR-28 ER -