Explaining Behavioural Inequivalence Generically in Quasilinear Time.

Thorsten Wimann, Stefan Milius, Lutz Schrder

Browse the full CONCUR paper archive.