Reactive Systems over Directed Bigraphs.

Davide Grohmann Marino Miculan

Published in: CONCUR (2007)

Keyphrases

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