Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers - James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon ((Lecture Notes in Computer Science))