Concurrency, Graphs and Models - Degano, Pierpaolo; De Nicola, Rocco; Kanade, Takeo; Meseguer, José; Montanari, Ugo; Nicola, Rocco (Springer Berlin Heidelberg, 2008)