1. S. Andova, J. Baeten, Abstraction in probabilistic process algebra, in: Proc. Tools and Algorithms for the Construction and Analysis of Systems, Seventh Internat. Conf., TACAS 2001, Lecture Notes in Computer Science, Vol. 2031, Springer, Berlin, 2001, pp. 204–219.
2. Process Algebra;Baeten,1990
3. Ready-trace semantics for concrete process algebra with the priority operator;Baeten;Comput. J.,1987
4. E. Bandini, R. Segala, Axiomatizations for probabilistic bisimulation, in: F. Orejas, P. Spirakis, J. van Leeuwen (Eds.), Proc. ICALP’01, Lecture Notes in Computer Science, Vol. 2076, Springer, Berlin, 2001, pp. 370–381.
5. C. Baier, On algorithmic verification methods for probabilistic systems, Habilitation thesis, University of Mannheim, 1998.