@TechReport{murphy+04:modal,
  author = 	 {Tom Murphy VII and Karl Crary and Robert Harper and Frank Pfenning},
  title = 	 {A Symmetric Modal Lambda Calculus for Distributed Computing},
  institution =  {Carnegie Mellon University Computer Science Department},
  year = 	 2004,
  number =	 {CMU--CS--04--105},
  address =	 {Pittsburgh, PA},
  month =	 {February}
}