TY - BOOK AU - DENVIR,B.T TI - ANALYSIS OF CONCURRENT SYSTEMS SN - NCST U1 - 400 PY - 1985/// CY - BERLIN PB - SV ER -