scientific article; zbMATH DE number 1927564

MaRDI QIDQ4484489zbMATH OpenFDO

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)

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

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)