Title: Context-dependant bisimulation between processes