Type algebras, functor categories and block structure
Algebraic methods in semantics
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Computer security basics
Handbook of theoretical computer science (vol. B)
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
A calculus of mobile processes, I
Information and Computation
A calculus of mobile processes, II
Information and Computation
Coordination models and languages as software integrators
ACM Computing Surveys (CSUR)
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Coordinating Plans of Autonomous Agents
Coordinating Plans of Autonomous Agents
Distributed Artificial Intelligence
Distributed Artificial Intelligence
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Tutorial on the Irish School of the VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
| Hi-index | 0.00 |
This paper presents a framework for modelling state-based agent systems. Agents are state-based entities in a possibly distributed environment. We will in particular address problems that arise when aspects of locality and shared objects have to be dealt with. The Irish School of Constructive Mathematics CM♣ provides an algebraic framework based on group theory and recursion theory. Monoids are used to model the foundations of state-based systems: states and state change. It offers extensivemethodologicalmeans to develop and verify specifications of distributed, state-based systems. This paper is an investigation into structural and consistency aspects of dynamically evolving systems under consideration of locality and sharing. A model is presented which preserves the integrity of such systems by providing operators with appropriate algebraic properties.