Specifying Electronic Societies with the Causal Calculator

This publication has 13 references indexed in Scilit:

• Animated specifications of computational societies
  Published by Association for Computing Machinery (ACM) ,2002
• Flexible protocol specification and execution
  Published by Association for Computing Machinery (ACM) ,2002
• A computational theory of normative positions
  ACM Transactions on Computational Logic, 2001
• On the Formal Specification of Electronic Institutions
  Published by Springer Nature ,2001
• Interaction patterns and observable commitments in a multi-agent trading scenario
  Published by Association for Computing Machinery (ACM) ,2001
• A Social Semantics for Agent Communication Languages
  Published by Springer Nature ,2000
• The Event Calculus Explained
  Published by Springer Nature ,1999
• An ontology for commitments in multiagent systems:
  Artificial Intelligence and Law, 1999
• The industrial virtual enterprise
  Communications of the ACM, 1997
• Open Information Systems Semantics for distributed artificial intelligence
  Artificial Intelligence, 1991