On the Formal Specification of Electronic Institutions

This publication has 16 references indexed in Scilit:

• Civil Agent Societies: Tools for Inventing Open Agent-Mediated Electronic Marketplaces
  Published by Springer Nature ,2000
• A methodology for agent-oriented analysis and design
  Published by Association for Computing Machinery (ACM) ,1999
• A role-based access control model and reference implementation within a corporate intranet
  ACM Transactions on Information and System Security, 1999
• Towards a Formal Specification of Complex Social Structures in Multi-agent Systems
  Published by Springer Nature ,1999
• Role model based framework design and integration
  Published by Association for Computing Machinery (ACM) ,1998
• Formal specification for role based access control user/role and role/role relationship management
  Published by Association for Computing Machinery (ACM) ,1998
• Towards layered dialogical agents
  Published by Springer Nature ,1997
• Role-based access control models
  Computer, 1996
• Modelling approach and tool for designing protocols for automated cooperation in multi-agent systems
  Published by Springer Nature ,1996
• Intelligent agents: theory and practice
  The Knowledge Engineering Review, 1995