Verification of Relational Transducers for Electronic Commerce.

Published in: PODS (2000)

Keyphrases

electronic commerce
business models
agent technology
mobile commerce
negotiation protocol
online banking
electronic marketplaces
small and medium sized enterprises
automated negotiation
negotiating agents
electronic markets
business transactions