scientific article; zbMATH DE number 1927564
From MaRDI portal
Publication:4484489
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
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)