Distributed Control Flow with Classical Modal Logic.

Tom Murphy VII, Karl Crary, Robert Harper

Browse the full CSL paper archive.