1
Formal Approaches to Agent-Based Systems [E-Book] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers /