Distributed Control Flow with Classical Modal Logic.

Tom Murphy VII Karl Crary Robert Harper Distributed Control Flow with Classical Modal Logic. 51-69 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_6 db/conf/csl/csl2005.html#VIICH05