@TechReport{moody2003:modalbasis,
  author = 	 {Jonathan Moody},
  title = 	 {Modal Logic as a Basis for Distributed Computation},
  institution =  {Carnegie Mellon University},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {CMU-CS-03-194},
  OPTaddress = 	 {},
  month = 	 oct,
  OPTnote = 	 {},
  OPTannote = 	 {}
}