Formal specification of multi-agent e-barter systems

DOI10.1016/j.scico.2005.01.002zbMath1076.68064MaRDI QIDQ2485279

Manuel A. Nunez, Ismael Rodríguez, Fernando Rubio

Publication date: 3 August 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.01.002

zbMATH Keywords

Pareto optimum; Formal methods; Process algebras; e-barter

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

91B60: Trade models

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

91B26: Auctions, bargaining, bidding and selling, and other market models