Yanjing Wang. Reasoning about Protocol Change and Knowledge. In Mohua Banerjee, Anil Seth, editors, Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings. Volume 6521 of Lecture Notes in Computer Science, pages 189-203, Springer, 2011. [doi]
Abstract is missing.