scientific article; zbMATH DE number 2080055

MaRDI QIDQ4472245zbMATH OpenFDO

Authors Radu Mateescu

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800281.htm

Mathematics Subject Classification ID

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

Recommendations

• Local model checking in the modal mu-calculus
• A graphical \(\mu\)-calculus and local model checking.
• scientific article; zbMATH DE number 2186291
• scientific article; zbMATH DE number 2087626
• Compositionality and locality for improving model checking in the selective mu-calculus
• scientific article; zbMATH DE number 1059247
• Model checking in the modal -calculus and generic solutions
• On model checking for the -calculus and its fragments
• Model-checking the higher-dimensional modal -calculus
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus

Cited in

(12)

• Mu-calculus path checking
• Model checking and boolean graphs
• A graphical \(\mu\)-calculus and local model checking.
• \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)
• Efficiently deciding -calculus with converse over finite trees
• The modal -calculus caught off guard
• The descriptive complexity of modal model-checking games
• On the Minimisation of Acyclic Models
• Model-Checking First-Order Logic: Automata and Locality
• Deciding the unguarded modal \(\mu\)-calculus
• scientific article; zbMATH DE number 2087626 (Why is no real title available?)
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity

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 Q4472245)