G-Reactive Systems as Coalgebras.

Filippo Bonchi Ugo Montanari

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

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