Login / Signup

A Congruence Theorem for Structured Operational Semantics with Predicates.

Jos C. M. BaetenChris Verhoef
Published in: CONCUR (1993)
Keyphrases
  • operational semantics
  • formal semantics
  • term rewriting
  • data model
  • mental states
  • model theoretic
  • denotational semantics
  • activity diagrams
  • declarative semantics
  • database
  • case study
  • reinforcement learning
  • multi agent