Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday - Pierpaolo Degano, Rocco Nicola, José Meseguer ((Lecture Notes in Computer Science))