A formal framework for E-Barter based on microeconomic theory and process algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2346, Issue , 2002, Pages 217-228

  López, Natalia ^a   Núñez, Manuel ^a   Rodríguez, Ismael ^a   Rubio, Fernando ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; INTERNATIONAL TRADE; SALES; SEMANTICS;

E-BARTER SYSTEM; FORMAL FRAMEWORK; GLOBAL MARKET; LOCAL MARKETS; MICRO-ECONOMIC THEORY; OPERATIONAL SEMANTICS; PROCESS ALGEBRAS; UTILITY FUNCTIONS;

COMPUTATION THEORY;

EID: 84949213531     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48080-3_19     Document Type: Conference Paper

References (15)

1. G. Babin, T.G. Crainic, M. Gendreau, R.K. Keller, P. Kropf, and J. Robert. Towards electronic marketplaces: A progress report. In 4th ICECR, pages 637-648, 2001.
2. M. Barbuceanu and W.K. Lo. Multi-attribute utility theoretic negotiation for electronic commerce. In AMEC 2000, LNAI 2003, pages 15-30. Springer, 2001.
3. H. Ben Ameur, B. Chaib-draa, and P. Kropf. Multiagent auctions for multiple items. In Autonomous Agents 2001, pages 33-40, 2001.
4. J.A. Bergstra, A. Ponse, and S.A. Smolka, editors. Handbook of Process Algebra. North Holland, 2001.
5. A. Chavez and P. Maes. Kasbah: An agent marketplace for buying and selling goods. In PAAM'96, pages 75-90, 1996.
6. M. Dastani, N. Jacobs, C.M. Jonker, and J. Treur. Modelling user preferences and mediating agents in electronic commerce. In Agent Mediated Electronic Commerce, LNAI 1991, pages 163-193. Springer, 2001.
7. D. de Frutos, M. Núñez, and J. Quemada. Characterizing termination in LOTOS via testing. In PSTV XV, pages 237-250. Chapman & Hall, 1995.
8. T. Eymann. Markets without makers - a framework for decentralized economic coordination in multiagent systems. In WELCOM 2001, LNCS 2232, pages 63-74. Springer, 2001.
9. R. Guttman, A. Moukas, and P. Maes. Agent-mediated electronic commerce: A survey. Knowledge Engineering Review, 13(2):147-159, 1998.
10. A.R. Lomuscio, M. Wooldridge, and N.R. Jennings. A classi-cation scheme for negotiation in electronic commerce. In Agent Mediated Electronic Commerce, LNAI 1991, pages 19-33. Springer, 2001.
11. M. Núñez. Including microeconomic theory into FDTs: A -rst approach. Available at: http://dalila.sip.ucm.es/~manolo/papers/exchange.ps.gz, 2000.
12. M. Núñez and I. Rodríguez. PAMR: A process algebra for the management of resources in concurrent systems. In FORTE 2001, pages 169-185. Kluwer Academic Publishers, 2001. An extended version of this paper is available at: http://dalila.sip.ucm.es/~manolo/papers/pamr.ps.
13. L. Rasmusson and S. Janson. Agents, self-interest and electronic markets. Knowledge Engineering Review, 14(2):143-150, 1999.
14. T. Sandholm. Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In CIA'98, LNCS 1435, pages 113-134. Springer, 1998.
15. M. Wooldridge and N.R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115-152, 1995.