TY  - BOOK
AU  - Taubner, Dirk
TI  - Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
SN  - 3540515259
CY  - Berlin
KW  - Finite Representations
KW  - CCS and TCSP Programs
KW  - Automata
KW  - Petri Nets
ER  -