A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises.

Published in: CONCUR (1994)

Keyphrases

operational semantics
formal semantics
model theoretic
term rewriting
mental states
denotational semantics
data model
declarative semantics
artificial intelligence
agent programming
database
case study
inference rules