Strong Bisimulation for Control Operators (Invited Talk).

Delia Kesner, Eduardo Bonelli, Andrs Viso

Browse the full CSL paper archive.