Finite representations of CCS and TCSP programs by automata and Petri nets
By: Dirk Taubner.
Series: Lecture notes in computer science -- 369
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; London
Language: eng
Number of pages: 168
Subjects: Electronic data processing -- Distributed processing.; Petri nets.; Programming languages (Electronic computers)
Notes: Includes bibliographical references.