Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers - Rash, James L.; Rash, James L.; Rouff, Christopher A.; Rouff, Christopher A.; Truszkowski, Walter; Truszkowski, Walter; Gordon, Diana; Gordon, Diana; Hinchey, Michael G.; Hinchey, Michael G. (Springer Berlin Heidelberg : Imprint: Springer, 2001)