Termination Detection of Diffusing Computations in Communicating Sequential Processes.

Jayadev Misra K. Mani Chandy

Published in: ACM Trans. Program. Lang. Syst. (1982)

Keyphrases

automatic detection
object detection
detection rate
false positives
communication channels
detection accuracy
detection algorithm
real time
event detection
change detection
detection method
database systems
machine learning
databases
database
data mining
computational models
false alarms
detection scheme