Publication | Closed Access

Deadlock Models and a General Algorithm for Distributed Deadlock Detection

Cluster ComputingEngineeringDeadlock ModelsConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer EngineeringSystems EngineeringConcurrency (Computer Science)Parallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemParallel ComputingFormal Verification