scientific article; zbMATH DE number 732976
From MaRDI portal
Publication:4325545
Recommendations
- Introduction to Distributed Algorithms
- Distributed algorithms. An intuitive approach
- scientific article; zbMATH DE number 996442
- scientific article; zbMATH DE number 49259
- Introduction à l'algorithmique des objets partagés
- scientific article; zbMATH DE number 2090633
- Distributed systems. An algorithmic approach
- Distributed Systems
Cited in
(64)- Flush primitives for asynchronous distributed systems
- Self-stabilization with path algebra
- Linear election in pancake graphs
- Introduction to Distributed Self-Stabilizing Algorithms
- Deadlock prevention by acyclic orientations
- Some remarks on distributed depth-first search.
- Theories for mechanical proofs of imperative programs
- Sense of direction in processor networks
- Self-stabilizing ring orientation using constant space
- Tolerating transient and intermittent failures
- Searching games with errors -- fifty years of coping with liars
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems
- Gossiping and broadcasting versus computing functions in networks.
- A distributed approximation algorithm for the minimum degree minimum weight spanning trees
- A fast distributed approximation algorithm for minimum spanning trees
- scientific article; zbMATH DE number 4076593 (Why is no real title available?)
- Some problems in distributed computational geometry
- Verifying identical communicating processes is undecidable
- Acyclic orientations do not lead to optimal deadlock-free packet routing algorithms
- Optimistic atomic broadcast: A pragmatic viewpoint
- Evaluating the running time of a communication round over the Internet
- Optimization of information exchange in a network of autonomous participants
- Store locally, prove globally
- Proving convergence of self-stabilizing systems using first-order rewriting and regular languages
- Improved deterministic leader election in diameter-two networks
- Gossiping and broadcasting versus computing functions in networks
- scientific article; zbMATH DE number 47016 (Why is no real title available?)
- scientific article; zbMATH DE number 1630081 (Why is no real title available?)
- scientific article; zbMATH DE number 1956217 (Why is no real title available?)
- Ranks of graphs: The size of acyclic orientation cover for deadlock-free packet routing
- Graphs and algorithms in communication networks on seven league boots
- Broadcasting in unlabeled hypercubes with a linear number of messages.
- Generalization of coarse-grained models with introduction of three-dimensional space
- Transience bounds for distributed algorithms
- A self-stabilizing distributed algorithm to find the median of a tree graph
- A Stabilizing Algorithm for Finding Two Node-Disjoint Paths in Arbitrary Networks
- A synchronous -calculus
- A survey on interval routing
- On the impact of link faults on Byzantine agreement
- Self-stabilization of wait-free shared memory objects
- The doomsday distributed termination detection protocol
- Online algorithms for page replication in rings
- Calculs approchés de la borne inférieure de valeurs réparties
- Developing topology discovery in Event-B
- Distributed network protocols
- Distributed graph algorithms and their complexity: an introduction
- scientific article; zbMATH DE number 4028858 (Why is no real title available?)
- Termination of amnesiac flooding
- Singularly optimal randomized leader election
- Choosing social laws for multi-agent systems: Minimality and simplicity
- Efficient distributed approximation algorithms via probabilistic tree embeddings
- Optimized silent self-stabilizing scheme for tree-based constructions
- Deadlock-free interval routing schemes
- scientific article; zbMATH DE number 49259 (Why is no real title available?)
- Exact communication costs for consensus and leader in a tree
- scientific article; zbMATH DE number 40998 (Why is no real title available?)
- scientific article; zbMATH DE number 3999275 (Why is no real title available?)
- A mechanical proof of Segall's PIF algorithm
- On the number of active nodes in a multicomputer system
- scientific article; zbMATH DE number 4115937 (Why is no real title available?)
- Randomized leader election
- Deterministic Models of Communication Faults
- Petri net based verification of distributed algorithms: An example
- Distributed computation in dynamic networks via random walks
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4325545)
