Journal article

A formal semantics for Gaia liveness rules and expressions

T Miller, P McBurney

International Journal of Agent-Oriented Software Engineering | Published : 2007