Publication | Closed Access
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
43
Citations
20
References
1996
Year
Cluster ComputingEngineeringDeadlock ModelsConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer EngineeringSystems EngineeringConcurrency (Computer Science)Parallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemParallel ComputingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1