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) full version" .