A formal model for situated multi-agent systems (2004)

by D Weyns, T Holvoet
Venue:Formal Approaches for Multi-Agent Systems, Special Issue of Fundamenta Informaticae