Stem ctmc$ (all stems)

2 papers:

QAPL-2012-Bernardo #bisimulation #concurrent #markov #process

Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.

TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime

Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.