Book Name: Introduction to Concurrency Theory: Transition Systems and CCS Author: Cristian Versari, Roberto Gorrieri Publisher: Springer ISBN-10: 331921490X Year:…