Taubner Dirk Finite representations of CCS and TCSP programs by Automata and petri nets - Berlin Springer-Verlag 1989 - 168p. cm. - Lecture notes in computer science; 369 . Standard No.: 73129 Source: Panima, Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B)-4N60, M9