Reactive Systems over Cospans.

Vladimiro Sassone Pawel Sobocinski

Published in: LICS (2005)

Keyphrases

reactive systems
model checking
temporal logic
information flow
formal methods
petri net
control flow
database
decision making
real time systems
state machines
data mining
knowledge base
multi agent
query language
knowledge representation