@inproceedings{bd47bbdc38304dcc8064990420112967,
title = "Embedding landmarks and scenes in a computational model of institutions",
abstract = "Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study. 2008 Springer-Verlag Berlin Heidelberg.",
keywords = "Technical presentations, Societies and institutions",
author = "Owen Cliffe and {De Vos}, Marina and Julian Padget",
year = "2008",
doi = "10.1007/978-3-540-79003-7_4",
language = "English",
isbn = "9783540790020",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "41--57",
editor = "Sichman, {J. S.} and J. Padget and S. Ossowski and P. Noriega",
booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems III",
note = "International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007 ; Conference date: 01-01-2008",
}