Fabio Gadducci, Alberto Lluch-Lafuente. Graphical Verification of a Spatial Logic for the ::::pi::::-calculus. Electronic Notes in Theoretical Computer Science, 154(2):31-46, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.