Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Bonakdarpour B, Abujarad F, Kulkarni S. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. 2008 DOI: 10.21236/ada487982.Peer-Reviewed Original ResearchSymbolic synthesisDeadlock statesPresence of faultsEfficient parallelParallel algorithmDistributed programDeadlock resolutionMultiple threadsEfficient heuristicSymbolic techniquesComplexity barrierSymbolic algorithmSet of statesSynthesis algorithmTransition relationAlgorithmPerformance improvementExperimental resultsOutgoing transitionsPrevious workAforementioned obstaclesParallelizationHeuristicsThreads