Verification of relational transducers for electronic commerce.

Published in: J. Comput. Syst. Sci. (2003)

Keyphrases

electronic commerce
small and medium sized enterprises
business models
automated negotiation
negotiation protocol
agent mediated
electronic payment
mobile commerce
multi agent systems
agent technology
electronic marketplaces