Formal speci cation of multi-agent systems (1995)

by F M T Brazier, B M Dunin-Keplicz, N R Jennings, J Treur
Venue:In Proceedings of the 1st International Conference on Multi-Agent Systems