Author Details | Scalable Computing: Practice and Experience

Vol 8 No 1 (2007): Foundational Underpinnings for Pragmatic Agent-based Systems - Special Issue
Specification and Verification of Agent Interaction Protocols in a Logic-based System
Abstract PDF