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