Agents and Roles: Refinement in Alternating-Time Temporal Logic

[RyanSchobbens2002] Mark Ryan and Pierre-Yves Schobbens. Agents and Roles: Refinement in Alternating-Time Temporal Logic. In John-Jules Meyer (editor) International Workshop on Agent Theories Architectures and Languages (ATAL-01), pages 100-114, Springer. 2002.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/01-atal.pdf