Return to Article Details A Modal Characterisation of Distributed Bisimulation Download Download PDF