On the public citation graph
Distributed deadlock detection
0 signed · 101 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1109/icde.1986.7266262openalex-snapshot
Deadlock detection algorithms in distributed database systems
inferredcites →https://doi.org/10.1109/tse.1979.234181openalex-snapshot
Locking and Deadlock Detection in Distributed Data Bases
inferredcites →https://doi.org/10.1109/tse.1980.230491openalex-snapshot
On Deadlock Detection in Distributed Systems
inferredcites →https://doi.org/10.1109/tse.1982.235573openalex-snapshot
Echo Algorithms: Depth Parallel Operations on General Graphs
inferredcites →https://doi.org/10.1109/tse.1982.235884openalex-snapshot
Protocols for Deadlock Detection in Distributed Database Systems
inferredcites →https://doi.org/10.1145/319702.319717openalex-snapshot
Distributed deadlock detection algorithm
inferredcites →https://doi.org/10.1145/356603.356607openalex-snapshot
Some Deadlock Properties of Computer Systems
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/800215.806583openalex-snapshot
Weighted voting for replicated data
inferredcites →https://doi.org/10.1145/800220.806693openalex-snapshot
A distributed algorithm for detecting resource deadlocks in distributed systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/0470072644openalex-snapshot
Design and Analysis of Distributed Algorithms
inferred← citeshttps://doi.org/10.1002/net.21537openalex-snapshot
Revisiting deadlock prevention: A probabilistic approach
inferred← citeshttps://doi.org/10.1006/jpdc.1994.1069openalex-snapshot
On Characterization and Correctness of Distributed Deadlock Detection
inferred← citeshttps://doi.org/10.1006/jpdc.1996.0017openalex-snapshot
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
inferred← citeshttps://doi.org/10.1007/3-540-51687-5_50openalex-snapshot
The role of inhibition in asynchronous consistent-cut protocols
inferred← citeshttps://doi.org/10.1007/3-540-54099-7_7openalex-snapshot
An improved algorithm to detect communication deadlocks in distributed systems
inferred← citeshttps://doi.org/10.1007/978-0-387-39940-9_711openalex-snapshot
Distributed Deadlock Management
inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_711openalex-snapshot
Distributed Deadlock Management
inferred← citeshttps://doi.org/10.1007/978-1-4757-3609-0_2openalex-snapshot
The Combinatorics of Resource Sharing
inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_711-2openalex-snapshot
Distributed Deadlock Management
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_11openalex-snapshot
Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at Last
inferred← citeshttps://doi.org/10.1007/978-3-642-03547-0_8openalex-snapshot
An Optimal, Distributed Deadlock Detection and Resolution Algorithm for Generalized Model in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-11950-7_9openalex-snapshot
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_15openalex-snapshot
Distributed Deadlock Detection
inferred← citeshttps://doi.org/10.1007/bf01798958openalex-snapshot
The distributed simulation of clustered processes
inferred← citeshttps://doi.org/10.1007/bf01840392openalex-snapshot
Asynchronous distributed termination—parallel and symmetric solutions with echo algorithms
inferred← citeshttps://doi.org/10.1007/bf02252679openalex-snapshot
Concurrent common knowledge: defining agreement for asynchronous systems
inferred← citeshttps://doi.org/10.1007/bf02280831openalex-snapshot
Strong stable properties in distributed systems
inferred← citeshttps://doi.org/10.1007/s004460050011openalex-snapshot
On deadlocks of exclusive AND-requests for resources
inferred← citeshttps://doi.org/10.1007/s004460050021openalex-snapshot
The inhibition spectrum and the achievement of causal consistency
inferred← citeshttps://doi.org/10.1007/s00450-012-0214-4openalex-snapshot
UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C
inferred← citeshttps://doi.org/10.1007/s007780050075openalex-snapshot
Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis
inferred← citeshttps://doi.org/10.1007/s10619-011-7078-7openalex-snapshot
A decentralized deadlock detection and resolution algorithm for generalized model in distributed systems
inferred← citeshttps://doi.org/10.1007/s10878-018-0279-5openalex-snapshot
Deadlock resolution in wait-for graphs by vertex/arc deletion
inferred← citeshttps://doi.org/10.1007/s11219-017-9379-1openalex-snapshot
A fault tolerant election-based deadlock detection algorithm in distributed systems
inferred← citeshttps://doi.org/10.1007/springerreference_63769openalex-snapshot
Distributed Deadlock Management
inferred← citeshttps://doi.org/10.1016/0164-1212(96)00027-1openalex-snapshot
A unified framework for the specification and run-time detection of dynamic properties in distributed computations
inferred← citeshttps://doi.org/10.1016/0950-5849(90)90113-6openalex-snapshot
Modular verification of correctness properties in environment for concurrent systems specifications: deadlock case
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50023-8openalex-snapshot
Distributed Computing: Models and Methods
inferred← citeshttps://doi.org/10.1016/b978-1-55860-348-6.50026-2openalex-snapshot
10.1016/b978-1-55860-348-6.50026-2
inferred← citeshttps://doi.org/10.1016/j.jpdc.2005.01.008openalex-snapshot
Efficient detection and resolution of OR deadlocks in distributed systems
inferred← citeshttps://doi.org/10.1016/j.jpdc.2006.12.004openalex-snapshot
Efficient detection of a locally stable predicate in a distributed system
inferred← citeshttps://doi.org/10.1016/s0020-0190(00)00158-7openalex-snapshot
A minimal property for characterizing deadlock-free programs
inferred← citeshttps://doi.org/10.1080/17445760.2011.629999openalex-snapshot
An improved, centralised algorithm for detection and resolution of distributed deadlock in the generalised model
inferred← citeshttps://doi.org/10.1088/0967-1846/4/4/006openalex-snapshot
Deadlock detection in multidatabase systems: a performance analysis
inferred← citeshttps://doi.org/10.1109/12.30874openalex-snapshot
Resolution of deadlocks in object-oriented distributed systems
inferred← citeshttps://doi.org/10.1109/32.263754openalex-snapshot
Efficient detection and resolution of generalized distributed deadlocks
inferred← citeshttps://doi.org/10.1109/32.979987openalex-snapshot
An efficient distributed deadlock avoidance algorithm for the AND model
inferred← citeshttps://doi.org/10.1109/69.824601openalex-snapshot
A one-phase algorithm to detect distributed deadlocks in replicated databases
inferred← citeshttps://doi.org/10.1109/71.706047openalex-snapshot
A distributed graph algorithm for the detection of local cycles and knots
inferred← citeshttps://doi.org/10.1109/88.260297openalex-snapshot
Bounded and minimum global snapshots
inferred← citeshttps://doi.org/10.1109/apdc.1997.574046openalex-snapshot
On distributed snapshot algorithms
inferred← citeshttps://doi.org/10.1109/cisis.2014.38openalex-snapshot
Simple Deadlock Detection for the And-Communication Model
inferred← citeshttps://doi.org/10.1109/cit.2005.69openalex-snapshot
An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems
inferred← citeshttps://doi.org/10.1109/cmpsac.1993.404188openalex-snapshot
Fault-tolerant distributed deadlock detection/resolution
inferred← citeshttps://doi.org/10.1109/cse.2014.152openalex-snapshot
A Semi-centralized Algorithm to Detect and Resolve Distributed Deadlocks in the Generalized Model
inferred← citeshttps://doi.org/10.1109/dcs.1988.12521openalex-snapshot
Efficient deadlock resolution for lock-based concurrency control schemes
inferred← citeshttps://doi.org/10.1109/disrta.2002.1166900openalex-snapshot
An implementation of a distributed algorithm for detection of local knots and cycles in directed graphs based on the CSP model and Java
inferred← citeshttps://doi.org/10.1109/empdp.2002.994328openalex-snapshot
Fast detection and resolution of generalized distributed deadlocks
inferred← citeshttps://doi.org/10.1109/ftdcs.1988.26683openalex-snapshot
Assigning distinct identities to sites on an anonymous distributed system
inferred← citeshttps://doi.org/10.1109/ftdcs.1995.524984openalex-snapshot
Deadlocks in distributed systems: request models and definitions
inferred← citeshttps://doi.org/10.1109/icacca.2016.7578858openalex-snapshot
A semi-centralized algorithm using adaptive gossip to detect and resolve distributed deadlocks
inferred← citeshttps://doi.org/10.1109/icdcs.1996.508012openalex-snapshot
Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs
inferred← citeshttps://doi.org/10.1109/icdcs.1997.603415openalex-snapshot
Distributed detection of generalized deadlocks
inferred← citeshttps://doi.org/10.1109/icde55515.2023.00019openalex-snapshot
LCL: A Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution
inferred← citeshttps://doi.org/10.1109/icdsc.2001.918932openalex-snapshot
Efficient generalized deadlock detection and resolution in distributed systems
inferred← citeshttps://doi.org/10.1109/ipdps.2001.925028openalex-snapshot
A fast algorithm for detecting distributed deadlocks in the OR request model
inferred← citeshttps://doi.org/10.1109/ipps.1995.395923openalex-snapshot
A distributed algorithm for the detection of local cycles and knots
inferred← citeshttps://doi.org/10.1109/iv.2012.80openalex-snapshot
Debugging the Execution of Distributed Algorithms over Anonymous Networks
inferred← citeshttps://doi.org/10.1109/pccc.1997.581499openalex-snapshot
A general repeated snapshot algorithm
inferred← citeshttps://doi.org/10.1109/pdp.2006.54openalex-snapshot
Optimal detection and resolution of distributed deadlocks in the generalized model
inferred← citeshttps://doi.org/10.1109/prdc.2010.49openalex-snapshot
Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures
inferred← citeshttps://doi.org/10.1109/sfcs.1994.365690openalex-snapshot
Local optimization of global objectives: competitive distributed deadlock resolution and resource allocation
inferred← citeshttps://doi.org/10.1109/spdp.1995.530659openalex-snapshot
Efficient algorithms for detection and resolution of distributed deadlocks
inferred← citeshttps://doi.org/10.1109/tc.2006.151openalex-snapshot
On Optimal Deadlock Detection Scheduling
inferred← citeshttps://doi.org/10.1109/tse.2004.51openalex-snapshot
Fast, centralized detection and resolution of distributed deadlocks in the generalized model
inferred← citeshttps://doi.org/10.1109/tsmc.2014.2311757openalex-snapshot
Ordinary Differential Equation-Based Deadlock Detection
inferred← citeshttps://doi.org/10.1109/wsc.1991.185668openalex-snapshot
Fault-tolerant distributed simulation
inferred← citeshttps://doi.org/10.1145/1073814.1073864openalex-snapshot
Stochastic analysis of distributed deadlock scheduling
inferred← citeshttps://doi.org/10.1145/153724.153741openalex-snapshot
Atomic snapshots of shared memory
inferred← citeshttps://doi.org/10.1145/2851613.2851880openalex-snapshot
Deadlock models in distributed computation
inferred← citeshttps://doi.org/10.1145/2975954.2975955openalex-snapshot
A leader election based deadlock detection algorithm in distributed systems
inferred← citeshttps://doi.org/10.1145/3768621openalex-snapshot
LCL+: a Lock Chain Length-based Distributed Deadlock Detection and Resolution Service Built for OceanBase
inferred← citeshttps://doi.org/10.1145/50202.50246openalex-snapshot
Semantic lock models in object-oriented distributed systems and deadlock resolution
inferred← citeshttps://doi.org/10.1145/62546.62579openalex-snapshot
Concurrent common knowledge: a new definition of agreement for asynchronous systems
inferred← citeshttps://doi.org/10.1145/93385.93398openalex-snapshot
The inhibition spectrum and the achievement of causal consistency
inferred← citeshttps://doi.org/10.14236/ewic/adbis1997.8openalex-snapshot
On Time Complexity of Distributed Algorithms for Generalized Deadlock Detection
inferred← citeshttps://doi.org/10.15407/pp2022.01.034openalex-snapshot
60 Years of Databases (part three)
inferred← citeshttps://doi.org/10.22215/etd/2019-13495openalex-snapshot
Centroidal Particle Dynamics: An Explicit Model of Pedestrian Personal Space for the Simulation of Short-Range Collision-Avoidance and Emergent Motion Patterns in Dense Crowds
inferred← citeshttps://doi.org/10.4028/www.scientific.net/kem.277-279.171openalex-snapshot
A Hybrid Algorithm for Fast Detection and Resolution of Generalized Deadlocks in Distributed Systems
inferred← citeshttps://doi.org/10.5555/304238.304332openalex-snapshot
Fault-tolerant distributed simulation
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.