Prevention of system deadlocks.

A. Nico Habermann

Published in: Commun. ACM (1969)

Keyphrases

static analysis
deadlock detection
real time
low cost
fully distributed
database
decision making
reinforcement learning
cooperative
sensor networks