Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
A Symmetric Modal λ Calculus for Distributed Computing
LICS, 2004.
@inproceedings{LICS-2004-VIICHP,
author = "Tom Murphy VII and Karl Crary and Robert Harper and Frank Pfenning",
booktitle = "{Proceedings of the 19th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2004.1319623",
isbn = "0-7695-2192-4",
pages = "286--295",
publisher = "{IEEE Computer Society}",
title = "{A Symmetric Modal λ Calculus for Distributed Computing}",
year = 2004,
}