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