Temporal Logics for Normative Agent Communication Protocols
| Authors | |
|---|---|
| Publication date | 2005 |
| Book title | AAMAS 05 : the fourth International Joint Conference on Autonomous Agents and Multi Agent Systems |
| Book subtitle | Utrecht University, the Netherlands, July 25-29, 2005 |
| ISBN (electronic) |
|
| Pages (from-to) | 1127-1128 |
| Publisher | New York: ACM Press |
| Organisations |
|
| Abstract | We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised form of model checking. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1145/1082473.1082656
(Final published version)
|
| Permalink to this page | |
