Interaction protocols

MaRDI QIDQ5157019zbMATH OpenFDO

Authors Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Akın Günay

Publication date 12 October 2021

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Mathematical sociology (including anthropology) (91D99)

Recommendations

• Logic Programming
• Behavior-oriented commitment-based protocols
• scientific article; zbMATH DE number 2088161
• Proper protocol
• Design of transaction commitment protocols

Cited in

(4)

• Logic Programming
• Principles of Distributed Systems
• Proper protocol
• On Protocol Sentences

This page was built for publication: Interaction protocols

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