De Visme, Marc Event structures for mixed choice. (English) Zbl 07649919 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. De Visme}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019; Zbl 07649919) Full Text: DOI
Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash Bisimulation for labelled Markov processes. (English) Zbl 1096.68103 Inf. Comput. 179, No. 2, 163-193 (2002). MSC: 68Q85 60J05 PDFBibTeX XMLCite \textit{J. Desharnais} et al., Inf. Comput. 179, No. 2, 163--193 (2002; Zbl 1096.68103) Full Text: DOI
Ying, Mingsheng Additive models of probabilistic processes. (English) Zbl 1026.68100 Theor. Comput. Sci. 275, No. 1-2, 481-519 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Ying}, Theor. Comput. Sci. 275, No. 1--2, 481--519 (2002; Zbl 1026.68100) Full Text: DOI
van Breugel, F. An introduction to metric semantics: Operational and denotational models for programming and specification languages. (English) Zbl 0973.68133 Theor. Comput. Sci. 258, No. 1-2, 1-98 (2001). MSC: 68Q55 68N15 68Q85 PDFBibTeX XMLCite \textit{F. van Breugel}, Theor. Comput. Sci. 258, No. 1--2, 1--98 (2001; Zbl 0973.68133) Full Text: DOI
Panangaden, P. Measure and probability for concurrency theorists. (English) Zbl 0956.68058 Theor. Comput. Sci. 253, No. 2, 287-309 (2001). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{P. Panangaden}, Theor. Comput. Sci. 253, No. 2, 287--309 (2001; Zbl 0956.68058) Full Text: DOI
Baier, Christel; Engelen, Bettina; Majster-Cederbaum, Mila Deciding bisimilarity and similarity for probabilistic processes. (English) Zbl 1073.68690 J. Comput. Syst. Sci. 60, No. 1, 187-231 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Baier} et al., J. Comput. Syst. Sci. 60, No. 1, 187--231 (2000; Zbl 1073.68690) Full Text: DOI
de Vink, E. P.; Rutten, J. J. M. M. Bisimulation for probabilistic transition systems: A coalgebraic approach. (English) Zbl 0930.68092 Theor. Comput. Sci. 221, No. 1-2, 271-293 (1999). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. P. de Vink} and \textit{J. J. M. M. Rutten}, Theor. Comput. Sci. 221, No. 1--2, 271--293 (1999; Zbl 0930.68092) Full Text: DOI
Baier, Christel; Kwiatkowska, Marta On the verification of qualitative properties of probabilistic processes under fairness constraints. (English) Zbl 1078.68664 Inf. Process. Lett. 66, No. 2, 71-79 (1998). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{C. Baier} and \textit{M. Kwiatkowska}, Inf. Process. Lett. 66, No. 2, 71--79 (1998; Zbl 1078.68664) Full Text: DOI