Ittai Balaban, Amir Pnueli, Lenore D. Zuck. Invisible Safety of Distributed Protocols. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Volume 4052 of Lecture Notes in Computer Science, pages 528-539, Springer, 2006.
Abstract is missing.