TY  - BOOK
AU  - Gorrieri, Roberto
AU  - Versari, Cristian
TI  - Introduction to concurrency theory: Transition systems and CCS
SN  - 9783319214900
CY  - New york
ER  -