Behavioural Conformances based on Lax Couplings.

Paul Wild, Lutz Schrder

Browse the full LICS paper archive.