Login / Signup

Deriving Barbed Bisimulations for Bigraphical Reactive Systems.

Davide GrohmannMarino Miculan
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)
Keyphrases
  • reactive systems
  • model checking
  • temporal logic
  • information flow
  • petri net
  • formal methods
  • state machines
  • real time systems
  • control flow
  • real time
  • database
  • smart card
  • formal specification