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

Publiceret: 1991-03-01

Articles