Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection.
Barbara E. WójcikZbigniew M. WójcikPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- sufficient conditions
- deadlock detection
- communication protocol
- distributed database systems
- distributed systems
- inter organizational workflow
- computer networks
- manufacturing systems
- distributed databases
- exponential stability
- asymptotic stability
- communication networks
- linear complementarity problem
- lyapunov function
- database applications
- intrusion detection system
- distributed environment
- database management systems
- efficiently computable
- upper bound
- theoretical analysis
- equilibrium point
- anomaly detection
- complexity analysis
- intrusion detection
- neural network
- information sharing