@inproceedings{Murphy2005Distributed,
    author = {Murphy, VII, Tom and Karl Crary and Robert Harper},
    title = {Distributed Control Flow with Classical Modal Logic},
    booktitle = {Computer Science Logic, 19th International Workshop ({CSL} 2005)},
    location = "Oxford, {UK}",
    editor = {Luke Ong},
    series = {Lecture Notes in Computer Science},
    month = "August",
    year = "2005",
    publisher = "Springer"
}