Formal specification of autonomous commerce agents

Ismael Rodríguez. Formal specification of autonomous commerce agents. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 774-778, ACM, 2004. [doi]

Abstract

Abstract is missing.