A symmetric modal lambda calculus for distributed computing (2004)

by Tom Murphy, VII , Karl Crary , Robert Harper , Frank Pfenning
Venue:IN PROCEEDINGS OF THE 19TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS
Citations:50 - 12 self