Branching bisimulation as a strong bisimulation - Bouali, Amar; De Nicola, Rocco (Stichting Mathematisch Centrum, 1994)