Finite representations of CCS and TCSP programs by Automata and petri nets - Taubner Dirk (Berlin Springer-Verlag, 1989)
Keywords: Computer science