Christensen, S. A Modal Characterisation of Distributed Bisimulation. DPB 1991, 20.