- Author
- Year
- 2005
- Title
- Temporal Logics for Normative Agent Communication Protocols
- Book/source title
- AAMAS 05 : the fourth International Joint Conference on Autonomous Agents and Multi Agent Systems
- Book/source subtitle
- Utrecht University, the Netherlands, July 25-29, 2005
- Pages (from-to)
- 1127-1128
- Publisher
- New York: ACM Press
- ISBN (electronic)
- 1595930930
- Document type
- Conference contribution
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- 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.
- URL
- go to publisher's site
- Language
- English
- Persistent Identifier
- https://hdl.handle.net/11245/1.243845
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.