Decidable Extensions of Hennessy-Milner Logic

DOI10.1007/11888116_16zbMath1225.03031OpenAlexW1531900905MaRDI QIDQ3613068

Radu Mardare, Corrado Priami

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_16

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A Complete Axiomatic System for a Process-Based Spatial Logic ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Decidable Extensions of Hennessy-Milner Logic ⋮ Undecidability of Model Checking in Brane Logic

Uses Software

• SLMC

Cites Work

• Modal logics for mobile processes
• A calculus of communicating systems
• Reasoning about information change
• Mobile ambients
• Model checking mobile processes
• A spatial logic for concurrency. I
• Logics for epistemic programs
• Games in Dynamic-Epistemic Logic
• Deciding validity in a spatial logic for trees
• Decidable Extensions of Hennessy-Milner Logic
• Algebraic laws for nondeterminism and concurrency
• Anytime, anywhere
• CONCUR 2004 - Concurrency Theory
• Modal and temporal properties of processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item