Type: Book Section
Alberti, M. and Daolio, D. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P.
Specification and verification of agent interaction protocols in a logic-based system.
Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004). Special Track on Agents, Interactions, Mobility, and Systems (AIMS), Nicosa, Cyprus, Mar. 14-17 2004.
ACM Press, .
Full text not available from this archive.
Archive Staff Only: edit this record