Formal description and verification of MAS interaction protocols
From MaRDI portal
Publication:3446067
DOI10.3233/MGS-2006-2404zbMath1117.68011OpenAlexW1792021242MaRDI QIDQ3446067
Manwu Xu, Hongbing Chen, Qun Yang, Qian-Mu Li
Publication date: 8 June 2007
Published in: Multiagent and Grid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/mgs-2006-2404
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)