Login / Signup

Logical Specification of Operational Semantics.

Peter D. Mosses
Published in: CSL (1999)
Keyphrases
  • databases
  • operational semantics
  • model theoretic
  • data model
  • formal semantics
  • denotational semantics
  • database
  • activity diagrams
  • mental states
  • agent programming