Login / Signup

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets.

Lorenzo Capra
Published in: FROM (2019)
Keyphrases
  • operational semantics
  • graph transformation
  • relational databases
  • intelligent systems
  • e learning
  • software development
  • formal semantics
  • model theoretic
  • denotational semantics