Formal specification of multi-agent e-barter systems
DOI10.1016/J.SCICO.2005.01.002zbMath1076.68064OpenAlexW2069978890MaRDI QIDQ2485279
Fernando Rubio, Ismael Rodríguez, Manuel A. Nunez
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
Learning and adaptive systems in artificial intelligence (68T05) Trade models (91B60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Auctions, bargaining, bidding and selling, and other market models (91B26)
This page was built for publication: Formal specification of multi-agent e-barter systems
