Deadlock Absence Proofs for Networks of Communicating Processes.

K. Mani Chandy Jayadev Misra

Published in: Inf. Process. Lett. (1979)

Keyphrases

communication channels
process model
complex networks
network design
artificial intelligence
data sets
neural network
web services
probabilistic model
computer networks
computational models
theorem proving
heterogeneous networks
cellular networks