4 records found
1
Analysis of meeting protocols by formalisation, simulation, and verification
On the formal analysis of the dynamics of simulated agent societies
Modeling centralized organization of organizational change
Emerging Communication and Cooperation in Evolving Agent Societies