A note on deadlock-free proofs of network of processes.

Published in: ACM SIGPLAN Notices (1984)

Keyphrases

deadlock free
network structure
concurrency control
communication networks
databases
peer to peer
computer networks
mobile devices
xml documents
ambient intelligence
data types
end to end