Luı́s Caires

A spatial logic for concurrency (part I)

Luı́s Caires, Luca Cardelli · Information and Computation · 2003 · 228 citations · Full text

Computing, Computer Science, Computer Systems +10

A Spatial Logic for Concurrency

Luı́s Caires, Luca Cardelli · International Symposium on Theoretical Aspects of Computer Software · 2001 · 105 citations

Computing, Computer Science, Formal Methods +10

A spatial logic for concurrency—II

Luı́s Caires, Luca Cardelli · Theoretical Computer Science · 2004 · 55 citations

Computing, Computer Science, Formal Methods +11

Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi

Luı́s Caires, Luís Monteiro · 1998 · 17 citations

Computing, Computer Engineering, Computer Science +12

Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings

Luı́s Caires, Giuseppe F. Italiano, Luís Monteiro et al. · 2005 · 10 citations

Computing, Computer Engineering, Computer Science +16