  |  Root |   
  |   |  Distributed System |   
  |   |  [BW+96] Butler M. et al., "Distributed Systems Development in B" (1996) |    |   |  [KMG+03] Koukam A. et al., "A Multiview Approach to Modeling and..." (2003) |    |   |  [LWZ+98] Liles S. et al., "Dynamic Discovery of Simulation Entities..." (1998) |    |   |  [PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999) |    |   |  [Rey87] Reynolds C.W., "flocks, Herds, and Schools: A Distrib..." (1987) |   
  |   |  Multi-Agent Systems |   
  |   |  [DC+95] Donikian S. et al., "General Animation and Simulation Platform" (1995) |    |   |  [DOO+99] Duffy B.R. et al., "Reality and virtual reality in mobile..." (1999) |    |   |  [DVM+02] Drogoul A. et al., "Multi-Agent Based Simulation: Where are..." (2002) |    |   |  [ELW+03] Erol K. et al., "Application of Agent Technology to..." (2003) |    |   |  [GBR+95] Granieri J.P. et al., "Behavioral Control for Real-Time..." (1995) |    |   |  [GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003) |    |   |  [GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000) |    |   |  [GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002) |    |   |  [GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004) |    |   |  [HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001) |    |   |  [HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001) |    |   |  [HU+01] Henoch J. et al., "Agent-based Simulation Platform for..." (2001) |    |   |  [IB+02] Isla D. et al., "New challenges for character-based ai..." (2002) |    |   |  [PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999) |    |   |  [PBS+05] Parunak H.V.D. et al., "Global Convergence of Local Agent..." (2005) |    |   |  [VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002) |   
  |   |  Urban Simulation |   
  |   |  [BVN+05] Balmer M. et al., "Shape Morphing of Intersections Using..." (2005) |    |   |  [Don96] Donikian S., "How introduce life in Virtual..." (1996) |    |   |  [ELW+03] Erol K. et al., "Application of Agent Technology to..." (2003) |    |   |  [HTD+05] Hugunein F. et al., "Evaluation of Traffic Safety using..." (2005) |    |   |  [PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999) |    |   |  [VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002) |   
 |