Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers - Hinchey, Michael G.; Hinchey, Michael G.; Rash, James L.; Rash, James L.; Truszkowski, Walter F.; Truszkowski, Walter F.; Rouff, Christopher; Rouff, Christopher; Gordon-Spears, Diana; Gordon-Spears, Diana (Springer Berlin Heidelberg : Imprint: Springer, 2003)