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 inter-agent relationships....