Incontro ad Alessandria del 14 luglio 2004

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, C. Schifanella:
  • "Reasoning about logic-based interaction protocols"


• L. Giordano, A. Martelli, C. Schwind:
  • "Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logics"


• P. Mello, F. Chesani :
  • "Verifying Protocol Conformance on the fly by using SC-IFF proof procedure"


• P. Terenziani:
  • "GLARE (GuideLine Acquisition Representation and Execution)"