Login / Signup

Operational Semantics for Timed Observations.

Yolanda Ortega-Mallén
Published in: FTRTFT (1992)
Keyphrases
  • operational semantics
  • formal semantics
  • model theoretic
  • data model
  • mental states
  • petri net
  • denotational semantics
  • declarative semantics
  • machine learning
  • activity diagrams
  • database
  • databases
  • finite state machines