Weak bisimulation is sound and complete for PCTL. (2002)

by J Desharnais, V Gupta, R Jagadeesan, P Panagaden
Venue:In Proc. CONCUR’02, LNCS 2421,