Book Name: Introduction to Concurrency Theory: Transition Systems and CCS Author: Cristian Versari, Roberto Gorrieri Publisher: Springer ISBN-10: 331921490X Year: 2015 Pages: 334 Language: English File size: 3.58