A Symmetric Modal Lambda Calculus for Distributed Computing.

Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning

Browse the full LICS paper archive.