Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

Bok av Dirk Taubner