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