@inproceedings{Murphy2004Symmetric,
    author = {Murphy, VII, Tom and Karl Crary and Robert Harper and 
              Frank Pfenning},
    title = {A Symmetric Modal Lambda Calculus for Distributed Computing},
    booktitle = {Proceedings of the 19th {IEEE} Symposium on Logic in Computer Science ({LICS} 2004)},
    location = "Turku, Finland",
    month = "July",
    year = "2004",
    publisher = "{IEEE} Press"
}