Login / Signup

An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.

Yuxin DengMin ZhangGuoqing Lei
Published in: ICFEM (2017)
Keyphrases
  • operational semantics
  • formal semantics
  • agent programming
  • model theoretic
  • knowledge base
  • mental states
  • denotational semantics
  • activity diagrams
  • databases
  • software development
  • content analysis