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