An extended bisimulation induced by a prorder on actions (1987)

by B Thomsen