Exposure to Deadlock for Communicating Processes is Hard to Detect.

Thomas Räuchle Sam Toueg

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

Keyphrases

communication channels
detection method
databases
detection algorithm
automatic detection
learning algorithm
artificial intelligence
e learning
image processing
case study
process model
workflow management systems
sharing information