: An efficient deadlock detection tool for CCS processes.

Sara Gradara Antonella Santone Maria Luisa Villani

Published in: J. Comput. Syst. Sci. (2006)

Keyphrases

deadlock detection
distributed database systems
distributed systems
manufacturing systems
information systems
relational databases
data sources
multi dimensional
mobile phone
intrusion detection
process model
communication protocol