You are about to access our book library "Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS. Wiley Series on Parallel and Distributed Computing. full version" .