Formal approaches to agent-based systems third international workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, revised selected papers - Hinchey, Michael G. (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 2004)