Title: Finite representations of CCS and TCSP programs by automata and Petri nets
First published: 1989
Subjects: Electronic data processing, Distributed processing, Petri nets, Programming languages (Electronic computers)
LC classification: QA76.9.D5