An Operational Semantics of the I"EUR-Calculus.

Published in: Parallel and Distributed Computing and Networks (2005)

Keyphrases

operational semantics
term rewriting
formal semantics
data model
denotational semantics
model theoretic
declarative semantics
databases
activity diagrams
mental states
knowledge base
natural language
exchange rate
agent programming