A spatial logic for concurrency (Part II)

Luís Caires, Luca Cardelli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

42 Citations (Scopus)

Abstract

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
Pages209-225
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

Conference

Conference13th International Conference on Concurrency Theory, CONCUR 2002
CountryCzech Republic
CityBrno
Period20/08/0223/08/02

Keywords

  • Semantics
  • Models
  • Bigraphical reactive

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

  • Cite this

    Caires, L., & Cardelli, L. (2002). A spatial logic for concurrency (Part II). In CONCUR 2002, Concurrency Theory - 13th International Conference, Proceedings (pp. 209-225). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2421 LNCS). Springer Verlag.