Introduction to Concurrency Theory Transition Systems and CCS - Gorrieri, Roberto; Versari, Cristian (Springer International Publishing : Imprint: Springer, 2015)