Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay. Specifying Fault-Tolerance Using Split Precondition Logic. In Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu, editors, Distributed Computing and Networking, 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings. Volume 5935 of Lecture Notes in Computer Science, pages 466-472, Springer, 2010. [doi]
Abstract is missing.