Philippe Darondeau Bisimulation and Effectiveness. 19-20 1989 30 Inf. Process. Lett. 1 db/journals/ipl/ipl30.html#Darondeau89