Process algebra and Markov chains
Lectures on formal methods and performance analysis
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Bisimulation on speed: worst-case efficiency
Information and Computation
Priority and abstraction in process algebra
Information and Computation
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Is observational congruence on μ-expressions axiomatisable in equational Horn logic?
Information and Computation
Is observational congruence axiomatisable in equational horn logic?
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |