A symmetric modal lambda calculus for distributed computing”, (2004)

by T Murphy, K Crary, R Harper, F Pfenning
Venue:19th Annual IEEE Symposium on Logic in Computer Science,