@InProceedings{	  dg09thiagu,
  title		= "Local safety and local liveness for distributed systems",
  author	= "Volker Diekert and Paul Gastin",
  publisher	= "Universities Press, IARCS-Universities",
  year		= "2009",
  booktitle	= "Perspectives in Concurrency Theory",
  editor	= "Lodayai, Kamal and Mukund, Madhavan and Ramanujam",
  pages		= "86--106"
}