Dirk Taubner

1959

• Finite representations of CCS and TCSP programs by automata and Petri nets
• The finite representation of abstract programs by automata and Petri nets