✦ LIBER ✦

Verifying conformance of multi-agent commitment-based protocols

✍ Scribed by El-Menshawy, Mohamed; Bentahar, Jamal; El Kholy, Warda; Dssouli, Rachida

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

✍ Leite, João; Torroni, Paolo 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 252 KB

Event based agreement protocols for mult

✍ Meng, Xiangyu; Chen, Tongwen 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 637 KB

Controllability of multi-agent systems b

✍ Long Wang; FangCui Jiang; GuangMing Xie; ZhiJian Ji 📂 Article 📅 2009 🏛 Science in China Press (SCP) 🌐 English ⚖ 516 KB

Multi-agent modeling for solving profit

✍ Sharma, Deepak; Trivedi, Anupam; Srinivasan, Dipti; Thillainathan, Logenthiran 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 698 KB

Discussion of “Limited Commitment in Mul

✍ Thomas Hemmer 📂 Article 📅 2010 🏛 Canadian Academic Accounting Association 🌐 English ⚖ 64 KB

Nonlinear consensus protocols for multi-

✍ Yu-Mei, Li; Xin-Ping, Guan 📂 Article 📅 2009 🏛 IOP Publishing 🌐 English ⚖ 313 KB