14780

4364558

Roberto Gorrieri

Introduction to Concurrency Theory - Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)

Springer

2015

9783319214900