Saturated Semantics for Reactive Systems.

Filippo Bonchi Barbara König Ugo Montanari

Published in: LICS (2006)

Keyphrases

reactive systems
control flow
information flow
petri net
model checking
temporal logic
logic programming
formal semantics
formal methods
data flow
information security
real time systems
database
process model
semantic information
knowledge base
data mining