Dirk Taubner

• Finite representations of CCS and TCSP programs by automata and Petri nets