On the Undecidability of Deadlock Detection in Families of Nets.
Anne-Cécile FabretAntoine PetitPublished in: STACS (1995)
Keyphrases
- deadlock detection
- distributed database systems
- distributed systems
- manufacturing systems
- communication protocol
- description logics
- computer networks
- database systems
- concurrency control
- inter organizational workflow
- database management systems
- distributed databases
- complexity analysis
- data mining
- database applications