This book presents a formal approach to dealing with agents and agent systems. The Z specification language is used to establish an accessible and unified formal account of agent systems and... This description may be from another edition of this product.