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]
Abstract is missing.