Agents and roles: Refinement in alternating-time temporal logic

Mark Ryan; P-Y Schobbens; J-J Meyer

Agents and roles: Refinement in alternating-time temporal logic

Mark Ryan
, P-Y Schobbens
, J-J Meyer

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	100-114
Number of pages	15
Publication status	Published - 1 Jan 2002
Event	8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001), Aug 01-03, 2001. SEATTLE, Washington - Duration: 1 Jan 2002 → …

Conference

Conference	8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001), Aug 01-03, 2001. SEATTLE, Washington
Period	1/01/02 → …

Cite this

@conference{0738f15813c740cfb380438bcff81934,

title = "Agents and roles: Refinement in alternating-time temporal logic",

author = "Mark Ryan and P-Y Schobbens and J-J Meyer",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "100--114",

note = "8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001), Aug 01-03, 2001. SEATTLE, Washington ; Conference date: 01-01-2002",

}