Login / Signup

Bigraphical Reactive Systems.

Robin Milner
Published in: CONCUR (2001)
Keyphrases
  • reactive systems
  • temporal logic
  • model checking
  • information flow
  • formal methods
  • control flow
  • petri net
  • state machines
  • database
  • real world