@inproceedings{DBLP:conf/lics/VIICHP04,
author = {Tom Murphy VII and
Karl Crary and
Robert Harper and
Frank Pfenning},
title = {A Symmetric Modal Lambda Calculus for Distributed Computing},
booktitle = {LICS},
year = {2004},
pages = {286-295},
ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319623},
crossref = {DBLP:conf/lics/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lics/2004,
title = {19th IEEE Symposium on Logic in Computer Science (LICS 2004),
14-17 July 2004, Turku, Finland, Proceedings},
booktitle = {LICS},
publisher = {IEEE Computer Society},
year = {2004},
isbn = {0-7695-2192-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}