Revising UNITY Programs: Possibilities and Limitations

Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour. Revising UNITY Programs: Possibilities and Limitations. In James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer, editors, Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers. Volume 3974 of Lecture Notes in Computer Science, pages 275-290, Springer, 2005. [doi]

@inproceedings{EbnenasirKB05,
  title = {Revising UNITY Programs: Possibilities and Limitations},
  author = {Ali Ebnenasir and Sandeep S. Kulkarni and Borzoo Bonakdarpour},
  year = {2005},
  doi = {10.1007/11795490_22},
  url = {http://dx.doi.org/10.1007/11795490_22},
  researchr = {https://researchr.org/publication/EbnenasirKB05},
  cites = {0},
  citedby = {0},
  pages = {275-290},
  booktitle = {Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
  editor = {James H. Anderson and Giuseppe Prencipe and Roger Wattenhofer},
  volume = {3974},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-36321-1},
}