Proofs of Networks of Processes.

Jayadev Misra K. Mani Chandy

Published in: IEEE Trans. Software Eng. (1981)

Keyphrases

data sets
network structure
artificial intelligence
social networks
theorem proving
network design
network size
case study
complex networks
network analysis
stochastic processes
database systems
search algorithm
probabilistic model
network topologies