Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Encoding of a Spatial Logic for the pi-Calculus. In: Algebra and Coalgebra in Computer Science (CALCO’07). Lecture Notes in Computer Science, 4624 . Springer, pp. 209-225. ISBN 978-3-540-73857-2 (2007)