A Coalgebraic Theory of Reactive Systems.

Filippo Bonchi Ugo Montanari

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

reactive systems
theoretical basis
computational model
general theory
neural network
model checking
social networks
multi agent
relational databases
temporal logic
formal methods