Recent trends in algebraic development techniques 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /

par WADT 2008, Corradini, Andrea, Montanari, U.
Publié 2009

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday /

par Montanari, U., Degano, Pierpaolo, De Nicola, Rocco., Meseguer, José.
Publié c2008