Language-Agnostic Static Deadlock Detection for Futures.

Stefan K. Muller

Published in: PPoPP (2024)

Keyphrases

deadlock detection
distributed database systems
distributed systems

manufacturing systems
communication protocol
data processing

database
data mining
multi agent systems

data model
distributed databases