Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

Abstract programming languages.- Connections with language theory.- Representation by finite automata.- Representation by finite and safe Petri nets.- A remark on the representation by finite Petri nets.- Representation by finite and strict predicate/transition nets.