41 search results - page 9 / 9 » Bisimulation and cocongruence for probabilistic systems |
ENTCS
2007
13 years 5 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...