×

Found 5 Documents (Results 1–5)

Bisimulation and simulation relations for Markov chains. (English) Zbl 1316.68085

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 73-78 (2006).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software