Synopsis "formal approaches to agent-based systems"
this book constitutes the thoroughly refereed post-proceedings of the second international workshop on formal approaches to agent-based systems, faabs 2002, held in greenbelt, md, in october 2002. the 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, xml, autonomous agents, etc.
