Slides presented at EASSS 2012, June 1, 2012, Valencia, Spain,
as part of the tutorial: Supporting large-scale, distributed multi-agent systems.