Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS

DOI10.1007/978-3-642-20715-0_4MaRDI QIDQ2999237zbMATH OpenOpenAlexFDO

Authors Matteo Baldoni, Cristina Baroglio, Elisa Marengo

Publication date 11 May 2011

Published in Declarative Agent Languages and Technologies VIII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20715-0_4

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• Behavior-oriented commitment-based protocols
• Formal description and verification of MAS interaction protocols
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• Message-passing algorithms for the verification of distributed protocols
• Computational Logic in Multi-Agent Systems
• The two-phase commitment protocol in an extended \(\pi\)-calculus

Cited in

(6)

• Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• Formal description and verification of MAS interaction protocols
• Behavior-oriented commitment-based protocols
• scientific article; zbMATH DE number 2088161 (Why is no real title available?)

This page was built for publication: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS

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