Animated specifications of computational societies

• 1 January 2002
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 1053-1061
• https://doi.org/10.1145/545056.545070

Abstract

Keywords

• FORMAL SPECIFICATION
• NORM-GOVERNED MULTI-AGENT SYSTEMS