Pedro R. D�Argenio, Hern�n Melgratti CONCUR 2013 � Concurrency Theory - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642401848 Subjects--Index Terms: Logics and Meanings of Programs; Software Engineering; Probability and Statistics in Computer Science