A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information
and Computation, 2003, 186, 2
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres
non ordonnés / I. Boneva, 2006 [thèse]
Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] - http://www.lsv.ens-cachan.fr
(2008-03-12)
Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial