Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. - Christel Baier; Bettina Engelen (ARTS, 1999)

Deciding Bisimilarity and Similarity for Probabilistic Processes. - Christel Baier; Bettina Engelen; Mila E. Majster-Cederbaum (J. Comput. Syst. Sci., 2000)