Deadlock Detection for Actor-Based Coroutines.
Keyvan AzadbakhtFrank S. de BoerErik P. de VinkPublished in: FM (2018)
Keyphrases
- deadlock detection
- distributed database systems
- distributed systems
- manufacturing systems
- communication protocol
- computer networks
- database management systems
- distributed environment
- inter organizational workflow
- concurrency control
- distributed databases
- database systems
- anomaly detection
- databases
- theoretical analysis
- object oriented
- multi agent
- data mining