Compositional deadlock detection for rendezvous communication.

Baolin Shao Nalini Vasudevan Stephen A. Edwards

Published in: EMSOFT (2009)

Keyphrases

deadlock detection
communication protocol
inter organizational workflow
distributed database systems
computer networks
distributed systems
manufacturing systems
communication networks
lower bound
distributed databases
wifi
data mining
mobile devices