@InProceedings{sanchez06efficient:b,
  author = 	 {C\'{e}sar S\'{a}nchez and Henny B. Sipma and Zohar Manna and Christopher D. Gill},
  title = 	 {Efficient Distributed Deadlock Avoidance with Liveness Guarantees},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the 6th ACM \& IEEE Conference on Embedded Software (EMSOFT'06)},
  pages = 	 {12--20},
  year = 	 {2006},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {ACM Press},
  OPTnote = 	 {},
  OPTannote = 	 {}
}