Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
CONCUR 2006 - Concurrency Theory
Static Partial Order Reduction for Probabilistic Concurrent Systems
Computing Quantiles in Markov Reward Models
A Probabilistic Quantitative Analysis of Probabilistic-Write-Copy-Select
Modeling Component Connectors in Reo by Constraint Automata
Tools and Algorithms for the Construction and Analysis of Systems
Weak Bisimulation for Fully Probabilistic Processes
Waiting for Locks: How Long Does it Usually Take?
Domain Equations for Trees
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Denotational Semantics in the Cpo and Metric Approach
PROBMIV'98
Rückblick auf ein Eislaufleben
Expérience féminime et résurrection
Theoretische Informatik
EINFUERUNG IN DIE THEORETISCHE INFORMATIK.
Theoretische Informatik : Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen