Login / Signup

Tensors of Comodels and Models for Operational Semantics.

Gordon D. PlotkinJohn Power
Published in: MFPS (2008)
Keyphrases
  • operational semantics
  • activity diagrams
  • database
  • database systems