Introduction to Concurrency Theory Transition Systems and CCS Gorrieri Roberto Heftet / 2016 / Engelsk
