S. Christensen, “A Modal Characterisation of Distributed Bisimulation”, DPB, vol. 20, no. 347, Mar. 1991.