1-1 of 1 Books
Finite representations of CCS and TCSP programs by automata and Petri nets
By Dirk Taubner