Tilbage til artikeldetaljer A Modal Characterisation of Distributed Bisimulation Download Download PDF