A spatial logic for concurrency (Part II)

Luís Caires, Luca Cardelli

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

44 Citations (Scopus)


We present a modal logic for describing the spatial organization and the behavior of distributed systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to process composition and name hiding, and a fresh quantifier.

Original languageEnglish
Title of host publicationCONCUR 2002, Concurrency Theory - 13th International Conference, Proceedings
PublisherSpringer Verlag
Number of pages17
ISBN (Print)3540440437, 9783540440437
Publication statusPublished - 1 Dec 2002
Event13th International Conference on Concurrency Theory, CONCUR 2002 - Brno, Czech Republic
Duration: 20 Aug 200223 Aug 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume2421 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th International Conference on Concurrency Theory, CONCUR 2002
CountryCzech Republic


  • Semantics
  • Models
  • Bigraphical reactive


Dive into the research topics of 'A spatial logic for concurrency (Part II)'. Together they form a unique fingerprint.

Cite this