Executing bigraphical reactive systems.

Amal Gassara Ismael Bouassida Rodriguez Mohamed Jmaiel Khalil Drira

Published in: Discret. Appl. Math. (2019)

Keyphrases

reactive systems
model checking
temporal logic
information flow
formal methods
petri net
control flow
real time systems
state machines
database systems