A Spatial Logic for Concurrency (Part I)

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

39 Citations (Scopus)

Abstract

We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to composition, local name restriction, and a primitive freshname quantifier. Properties can also be defined by recursion; a central theme of this paper is then the combination of a logical notion of freshness with inductive and coinductive definitions of properties.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
Pages194-235
Number of pages42
Volume186
ISBN (Electronic)978-3-540-45500-4
DOIs
Publication statusPublished - 1 Nov 2003
EventTheoretical Aspects of Computer Software, 4th International Symposium, TACS 2001 -
Duration: 1 Jan 2001 → …

Conference

ConferenceTheoretical Aspects of Computer Software, 4th International Symposium, TACS 2001
Period1/01/01 → …

Keywords

  • Semantics
  • Information science
  • Concurrency control
  • Concurrent engineering
  • Formal logic
  • Mathematical operators
  • Temporal operators

Fingerprint Dive into the research topics of 'A Spatial Logic for Concurrency (Part I)'. Together they form a unique fingerprint.

Cite this