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

DOI10.1007/978-3-642-20715-0_4zbMATH Open1325.68231OpenAlexW1483214482MaRDI QIDQ2999237FDOQ2999237

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

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

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Cited In (6)

• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Behavior-oriented commitment-based protocols
• Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS
• Formal description and verification of MAS interaction protocols
• Title not available (Why is that?)

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)