Login / Signup
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