Verifying networks of processes that communicate via shared variables.

Tatjana Kapus Bogomir Horvat

Published in: Microprocess. Microprogramming (1992)

Keyphrases

social networks
neural network
network design
random variables
network analysis
relevant variables
search engine
complex systems
network structure
computational models
network model
heterogeneous networks
probabilistic networks
telecommunication networks