This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa

An accessible treatment of important formal models of domestic politics, fully updated and now including a chapter on nondemocracy.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in Apr

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed