Laura Giordano, Alberto Martelli, Camilla Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In Amedeo Cappelli, Franco Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings. Volume 2829 of Lecture Notes in Computer Science, pages 262-274, Springer, 2003. [doi]
Abstract is missing.