Ulle Endriss. Temporal Logics for Representing Agent Communication Protocols. In Frank Dignum, Rogier M. van Eijk, Roberto A. Flores, editors, Agent Communication II, International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005 and Hakodate, Japan, May 9, 2006, Selected and Revised Papers. Volume 3859 of Lecture Notes in Computer Science, pages 15-29, Springer, 2006. [doi]
Abstract is missing.