Kim Guldstrand Lansen

• Context-dependant bisimulation between processes