Animated specifications of computational societies.

Alexander Artikis Jeremy Pitt Marek J. Sergot

Published in: AAMAS (2002)

Keyphrases

delay insensitive
real time
specification language
search engine
metadata
programming language
mathematical programming
formal specification
computational power
functional requirements