An Operational Semantics for Shared Messaging Communication.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

operational semantics
formal semantics
agent communication language
mental states
denotational semantics
speech acts
data model
declarative semantics
model theoretic
object oriented
fault tolerant
activity diagrams
database
dynamic environments
cooperative
case study
artificial intelligence
databases