Formal specification of multi-agent e-barter systems

DOI10.1016/J.SCICO.2005.01.002MaRDI QIDQ2485279zbMATH OpenOpenAlexFDO

Authors Ismael Rodríguez, Fernando Rubio, Manuel Núñez

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 optimumFormal methodsProcess algebrase-barter

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Auctions, bargaining, bidding and selling, and other market models (91B26) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Trade models (91B60)

Recommendations

• scientific article; zbMATH DE number 2088914
• Formal Specification of Multi-agent Systems by Using EUSMs
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• scientific article; zbMATH DE number 1690077
• scientific article; zbMATH DE number 5310813
• scientific article; zbMATH DE number 1755744
• Specification and Verification of Multi-Agent Systems
• Formal verification of e-auction protocols

Cited in

(4)

• Linearized formulations for failure aware barter exchange
• scientific article; zbMATH DE number 1927319 (Why is no real title available?)
• scientific article; zbMATH DE number 2088914 (Why is no real title available?)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce

This page was built for publication: Formal specification of multi-agent e-barter systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2485279)