Login / Signup

Encoding Bigraphical Reactive Systems into Graph Transformation Systems.

Amal GassaraIsmael Bouassida RodriguezMohamed JmaielKhalil Drira
Published in: Electron. Notes Discret. Math. (2016)
Keyphrases
  • reactive systems
  • graph transformation
  • model checking
  • low cost
  • temporal logic
  • databases
  • data mining
  • artificial intelligence
  • information systems
  • distributed systems
  • building blocks
  • information flow