A Spatial Logic for Concurrency (Part II)

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.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Caires, Luís, Cardelli, Luca
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Logical, boolean and switching functions Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/3-540-45694-5_15