Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Dirk Taubner · Medical Entomology and Zoology · 1989
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.