@InProceedings{sanchez07family,
  author = 	 {C\'esar S\'anchez and Henny B. Sipma and Zohar Manna},
  title = 	 {A Family of Distributed Deadlock Avoidance Protocols and their Reachable State Spaces},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Fundamental Approaches to Software Engineering (FASE'07)},
  pages = 	 {155--169},
  year = 	 {2007},
  OPTeditor = 	 {Matt B. Dwyer and Ant\'{o}nia Lopes},
  volume = 	 {4422},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}