scientific article; zbMATH DE number 1927564

zbMath1012.68122MaRDI QIDQ4484489

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (11)

Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS ⋮ A spatial logic for concurrency. II ⋮ Nominal unification ⋮ Model checking mobile ambients ⋮ Nominal logic, a first order theory of names and binding ⋮ A spatial logic for concurrency. I ⋮ Fresh logic: Proof-theory and semantics for FM and nominal techniques ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ A semantic framework for open processes ⋮ A coordination approach to mobile components ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency

This page was built for publication: