@InProceedings{murphy+04:s5,
  author =       {Tom Murphy~VII and Karl Crary and Robert Harper and Frank Pfenning},
  title =        {A Symmetric Modal Lambda Calculus for Distributed Computing},
  booktitle =    {IEEE Symposium on Logic in Computer Science},
  pages =        {286--297},
  year =         2004,
  address =      {Turku, Finland},
  month =        {July}
}