Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems

Authors:
Michael Luck;Mark d'Inverno
Affiliations:
-;-
Venue:
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Year:
1995

Evaluation of modeling techniques for agent-based systems

Proceedings of the fifth international conference on Autonomous agents
A Formal Architecture for the 3APL Agent Programming Language

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Single-model method for specifying multi-agent systems

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems

Hi-index	0.00