Weak bisimulation is sound and complete for pCTL (0)

by Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden