scientific article; zbMATH DE number 1980933
From MaRDI portal
Publication:4428307
zbMath1023.68064MaRDI QIDQ4428307
Carroll Morgan, Annabelle McIver
Publication date: 15 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140292.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (9)
Nearest Fixed Points and Concurrent Priority Games ⋮ A survey of stochastic \(\omega \)-regular games ⋮ The complexity of stochastic Müller games ⋮ Alternating good-for-MDPs automata ⋮ Model checking games for the quantitative \(\mu \)-calculus ⋮ Reduction of stochastic parity to stochastic mean-payoff games ⋮ Preface ⋮ Model checking discounted temporal properties ⋮ Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
This page was built for publication:
