Publication:4536611
From MaRDI portal
zbMath0999.68145MaRDI QIDQ4536611
Purushothaman Iyer, Parosh Aziz Abdulla, Christel Baier, Bengt Jonsson
Publication date: 25 June 2002
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B25: Decidability of theories and sets of sentences
Related Items
Branching-Time Model-Checking of Probabilistic Pushdown Automata, Stochastic Games with Lossy Channels, Branching-time model-checking of probabilistic pushdown automata, Verifying lossy channel systems has nonprimitive recursive complexity., Deciding probabilistic bisimilarity over infinite-state probabilistic systems, Quantitative analysis of probabilistic lossy channel systems, Model Checking Probabilistic Systems, Termination Problems in Chemical Kinetics