On the Formal Specification of Electronic Institutions
- 22 June 2001
- book chapter
- Published by Springer Nature
- p. 126-147
- https://doi.org/10.1007/3-540-44682-6_8
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Civil Agent Societies: Tools for Inventing Open Agent-Mediated Electronic MarketplacesLecture Notes in Computer Science, 2000
- A methodology for agent-oriented analysis and designPublished by Association for Computing Machinery (ACM) ,1999
- A role-based access control model and reference implementation within a corporate intranetACM Transactions on Information and System Security, 1999
- Towards a Formal Specification of Complex Social Structures in Multi-agent SystemsPublished by Springer Nature ,1999
- Role model based framework design and integrationPublished by Association for Computing Machinery (ACM) ,1998
- Formal specification for role based access control user/role and role/role relationship managementPublished by Association for Computing Machinery (ACM) ,1998
- Towards layered dialogical agentsPublished by Springer Nature ,1997
- Role-based access control modelsComputer, 1996
- Modelling approach and tool for designing protocols for automated cooperation in multi-agent systemsPublished by Springer Nature ,1996
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995