Operational Semantics for Coordination in Paradigm.

Luuk Groenewegen Erik P. de Vink

Published in: COORDINATION (2002)

Keyphrases

operational semantics
formal semantics
cooperative
model theoretic
multi agent systems
declarative semantics
multi agent
data model
multiagent systems
mental states
agent programming
interaction protocols
denotational semantics
knowledge base