Finite representations of CCS and TCSP programs by automata and Petri nets / - Taubner, Dirk (Springer-Verlag, 1989)