Sciweavers

IJAOSE
2007
93views more  IJAOSE 2007»
13 years 5 months ago
A formal semantics for Gaia liveness rules and expressions
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
Tim Miller, Peter McBurney