Model Checking Logics of Social Commitments for Agent Communication
This thesis is about specifying and verifying communications among autonomous and possibly heterogeneous agents, which are the key principle for constructing effective open multi-agent systems (MASs). Effective systems are those that successfully achieve applicability, feasibility, error-freeness an...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2012
|
| Online Access: | http://spectrum.library.concordia.ca/974529/7/El_Menshawy_PhD_F2012.pdf Mohamed, Mohamed El Menshawy <http://spectrum.library.concordia.ca/view/creators/Mohamed=3AMohamed_El_Menshawy=3A=3A.html> (2012) Model Checking Logics of Social Commitments for Agent Communication. PhD thesis, Concordia University. |
Internet
http://spectrum.library.concordia.ca/974529/7/El_Menshawy_PhD_F2012.pdfMohamed, Mohamed El Menshawy <http://spectrum.library.concordia.ca/view/creators/Mohamed=3AMohamed_El_Menshawy=3A=3A.html> (2012) Model Checking Logics of Social Commitments for Agent Communication. PhD thesis, Concordia University.