Coalgebraic Models for Reactive Systems.

Filippo Bonchi Ugo Montanari

Published in: CONCUR (2007)

Keyphrases

reactive systems
probabilistic model
learning algorithm
complex systems
neural network
prior knowledge
building blocks
business processes
petri net
model checking
computer networks