scientific article; zbMATH DE number 2080055
From MaRDI portal
Publication:4472245
zbMath1043.68596MaRDI QIDQ4472245
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800281.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (8)
Deciding the unguarded modal -calculus ⋮ Efficiently Deciding μ-Calculus with Converse over Finite Trees ⋮ Unnamed Item ⋮ On the Minimisation of Acyclic Models ⋮ The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity ⋮ The Modal μ-Calculus Caught Off Guard ⋮ \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) ⋮ Mu-calculus path checking
This page was built for publication:
