An incremental approach for detecting distributed deadlocks in the generalized model

DOI10.1007/S00607-021-00904-2zbMath1490.68053OpenAlexW3128053809MaRDI QIDQ2118403

Srinivasan Selvaraj

Publication date: 22 March 2022

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-021-00904-2

zbMATH Keywords

distributed systemsdeadlock detectiondeadlock resolutiongeneralized deadlocklocal wait-for graph

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Cites Work

• Distributed deadlock detection
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: An incremental approach for detecting distributed deadlocks in the generalized model