Publication | Closed Access
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
44
Citations
0
References
1995
Year
Cluster ComputingEngineeringDeadlock ModelsConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer EngineeringSystems EngineeringConcurrency (Computer Science)Parallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemParallel ComputingFormal Verification
No additional data available for this publication yet. Check back later!