Symmetry breaking in distributed networks

From MaRDI portal
Revision as of 17:16, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:918187

DOI10.1016/0890-5401(90)90004-2zbMath0705.68020OpenAlexW2054364230MaRDI QIDQ918187

Michael Rodeh, Alon Itai

Publication date: 1990

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(90)90004-2




Related Items (29)

Synthesizing optimal bias in randomized self-stabilizationStrictly in-place algorithms for permuting and inverting permutationsModel Checking Probabilistic SystemsCost distribution of the Chang-Roberts leader election algorithm and related problemsValue iteration for simple stochastic games: stopping criterion and learning algorithmMinimal counterexamples for linear-time probabilistic verificationCounting in one-hop beeping networksA predicate transformer for choreographies. Computing preconditions in choreographic programmingFast leader election in anonymous rings with bounded expected delayRandomized function evaluation on a ringNaming symmetric processes using shared variablesHundreds of impossibility results for distributed computingMessage terminating algorithms for anonymous rings of unknown sizeDeterministic leader election takes \(\Theta (D + \log n)\) bit roundsFeedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouringUnnamed ItemAsymptotic analysis of a leader election algorithmOn the Microscopic View of Time and MessagesSublogarithmic distributed MIS algorithm for sparse graphs using Nash-Williams decompositionFast protocols for leader election and spanning tree construction in a distributed networkOn the cost of uniform protocols whose memory consumption is adaptive to interval contentionAn Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised ProtocolsCEGAR for compositional analysis of qualitative properties in Markov decision processesThe Synergy of Finite State MachinesA linear process-algebraic format with data for probabilistic automataAnalysis of fully distributed splitting and naming probabilistic procedures and applicationsAnalysis of Fully Distributed Splitting and Naming Probabilistic Procedures and ApplicationsDistributed communication complexity of spanning tree constructionVerification of multiplayer stochastic games via abstract dependency graphs



Cites Work




This page was built for publication: Symmetry breaking in distributed networks