Pattern Matching and Bisimulation.

Thomas Given-Wilson, Daniele Gorla

Browse the full Coordination paper archive.