scientific article; zbMATH DE number 1927564

zbMATHMaRDI QIDQ4484489FDO

Authors Luís Caires, Luca Cardelli

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210209.htm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A spatial logic for concurrency. II
• scientific article; zbMATH DE number 2242579
• A spatial logic for concurrency. I
• A predicate spatial logic for mobile process
• Frontiers of Combining Systems

Cited in

(23)

• Model checking mobile ambients
• Extensionality of spatial observations in distributed systems
• A coordination approach to mobile components
• On the relationship between spatial logics and behavioral simulations
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Computer Science Logic
• Spatial and epistemic modalities in constraint-based process calculi
• Deriving inverse operators for modal logic
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• A semantic framework for open processes
• scientific article; zbMATH DE number 2242579 (Why is no real title available?)
• A spatial logic for concurrency. I
• Nominal logic, a first order theory of names and binding
• Distributed modal logic
• Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
• Nominal unification
• A Complete Axiomatic System for a Process-Based Spatial Logic
• Frontiers of Combining Systems
• A predicate spatial logic for mobile process
• A noninterleaving model of concurrency based on transition systems with spatial structure
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• A spatial logic for concurrency. II
• Fresh logic: Proof-theory and semantics for FM and nominal techniques

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484489)