scientific article; zbMATH DE number 1927564

zbMATH Open1012.68122MaRDI QIDQ4484489FDOQ4484489

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (18)

• A spatial logic for concurrency. I
• A spatial logic for concurrency. II
• A predicate spatial logic for mobile process
• Frontiers of Combining Systems
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• A semantic framework for open processes
• Title not available (Why is that?)
• Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
• Nominal logic, a first order theory of names and binding
• On the relationship between spatial logics and behavioral simulations
• A coordination approach to mobile components
• Nominal unification
• Model checking mobile ambients
• Spatial and epistemic modalities in constraint-based process calculi
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Computer Science Logic
• A Complete Axiomatic System for a Process-Based Spatial Logic
• 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)