Author Description

Presents a formal approach to dealing with agents and agent systems. The practicability of this approach is verified by applying the formal framework to three detailed case studies.