Conformance Games for Graded Semantics.

Jonas Forster, Lutz Schrder, Paul Wild

Browse the full LICS paper archive.