1. Localities and Failures (Extended Abstract);Amadio,1994
2. Behavioral and Spatial Properties in a Logic for the Pi-Calculus;Caires,2004
3. L. Caires. Proof Techniques for Distributed Resources and Behaviors using Spatial Logics. In (discussion at) Symposium on Trustworthy Global Computing, 2005
4. A Spatial Logic for Concurrency (Part I);Caires;Information and Computation,2003
5. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency;Caires;Theoretical Computer Science,2006