No. 347 (1991): PB-347 A Modal Characterisation of Distributed Bisimulation

Published: 1991-03-01