Weak Bisimulation is Sound and Complete for PCTL*.

Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Browse the full CONCUR paper archive.