scientific article; zbMATH DE number 1841829

zbMath0999.68123MaRDI QIDQ4783317

Witold Charatonik, Jean-Marc Talbot

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420339

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (15)

Model checking mobile ambients ⋮ Nesting analysis of mobile ambients ⋮ Specification and verification for semi-structured data ⋮ A spatial logic for concurrency. I ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ Reachability problems in BioAmbients ⋮ Unnamed Item ⋮ Elimination of spatial connectives in static spatial logics ⋮ Deciding Reachability in Mobile Ambients with Name Restriction ⋮ When ambients cannot be opened ⋮ A Complete Axiomatic System for a Process-Based Spatial Logic ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency ⋮ Decidable Extensions of Hennessy-Milner Logic ⋮ On Model Checking Boolean BI

This page was built for publication: