Marco Bernardo Mario Bravetti Performance measure sensitive congruences for Markovian process algebras. 117-160 2003 290 Theor. Comput. Sci. 1 db/journals/tcs/tcs290.html#BernardoB03