@TechReport{sanchez06reachable,
  author = 	 {C\'{e}sar S\'{a}nchez and Henny B. Sipma},
  title = 	 {Reachable State Spaces of Distributed Deadlock Avoidance Protocols},
  institution =  {Stanford University, Computer Science Department, REACT Group},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {REACT-TR-2006-01},
  OPTaddress = 	 {},
  month = 	 {June},
  OPTnote = 	 {},
  OPTannote = 	 {}
}