A Modular LTS for Open Reactive Systems.

Fabio Gadducci Giacoma Valentina Monreale Ugo Montanari

Published in: IFIP TCS (2012)

Keyphrases

reactive systems
information flow
model checking
temporal logic
petri net
formal methods
control flow
neural network
state machines
machine learning
information systems
low cost
distributed systems
knowledge acquisition