"Concurrency, Graphs and Models" - читать интересную книгу автора (Pierpaolo Degano, Rocco de Nicola, José Meseguer)