Denvire B T Ed. Proceeding on analysis of concurrent systems - Berlin Springer-Verlag 1985 - vii, 398p. cm. - Lectuer notes in computer science; 207 . Standard No.: 68330 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B)p1,N83, M5