Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus. Electronic Notes in Theoretical Computer Science, 154 (2). pp. 31-46. ISSN 1571-0661 (2006)