@InProceedings{murphy+05:cs5,
  author = 	 {Tom Murphy VII and Karl Crary and Robert Harper},
  title = 	 {Distributed Control Flow With Classical Modal Logic},
  booktitle = 	 {Computer Science Logic '05},
  pages =	 {51--69},
  year =	 2005,
  address =	 {Oxford, UK},
  month =	 {August}
}