The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.

Christel Baier Mila E. Majster-Cederbaum

Published in: Acta Informatica (1994)

Keyphrases

operational semantics
formal semantics
denotational semantics
model theoretic
data model
constraint satisfaction problems
artificial intelligence
mental states
declarative semantics
agent programming
reinforcement learning
agent communication language
activity diagrams