A Concurrent Logical Relation.

Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg

Browse the full CSL paper archive.