A symmetric modal lambda calculus for distributed computing (2004)

by T Murphy, V Karl, C R Harper, F Pfenning
Venue:In In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS