Checking Equivalence for Reo Networks.

Tobias Blechmann Christel Baier

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

Keyphrases

real time
databases
network analysis
network design
data sets
bayesian networks
multiscale
wireless networks
computer networks
heterogeneous networks
probabilistic networks
network parameters
high bandwidth