Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers - Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff ((Lecture Notes in Computer Science))