You are about to access our book library "Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science, 369) full version" .