Francesco Viganò, Marco Colombetti. Specification and Verification of Institutions Through Status Functions. In Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson, editors, Coordination, Organizations, Institutions, and Norms in Agent Systems II - AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Volume 4386 of Lecture Notes in Computer Science, pages 115-129, Springer, 2006. [doi]
Abstract is missing.