

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. In particular, the framework provides precise and unambiguous...

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. In particular, the framework provides precise and unambiguous...