Barbed Semantics for Open Reactive Systems.

Fabio Gadducci Giacoma Valentina Monreale

Published in: WADT (2012)

Keyphrases

reactive systems
control flow
model checking
information flow
temporal logic
open world
petri net
closed world
semantic information
formal methods
state machines
formal semantics
decision making
logic programming
databases
knowledge acquisition
real time
low cost
real time systems
web services