Paolo Baldan CONCUR 2014 � Concurrency Theory - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783662445846 Subjects--Topical Terms: Computer ScienceComputer Science Logic and Foundations of Programming