Coffman deadlocks in SCOOP.

Georgiana Caltais Bertrand Meyer

Published in: CoRR (2014)

Keyphrases

static analysis
deadlock detection
distributed systems
exchange information
database
digital libraries
decision makers
data management
decision support