Pages that link to "Item:Q2865941"
From MaRDI portal
The following pages link to Distributed algorithms. An intuitive approach (Q2865941):
Displaying 19 items.
- Distributed graph algorithms for computer networks (Q355058) (← links)
- A derivation of distributed implementation of Warshall's algorithm (Q1075774) (← links)
- Distributed algorithms in synchronous broadcasting networks (Q1088398) (← links)
- Distributed algorithms. 11th international workshop, WDAG '97, September 24--26, 1997, Saarbrücken, Germany (Q1295747) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215) (← links)
- Efficient distributed algorithms by using the archimedean time assumption (Q3816977) (← links)
- (Q3994354) (← links)
- (Q4325545) (← links)
- (Q4542915) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- Introduction to Distributed Self-Stabilizing Algorithms (Q5377007) (← links)
- Structural Information and Communication Complexity (Q5710087) (← links)
- A note on the message complexity of Cidon's distributed depth-first search algorithm (Q6163898) (← links)
- With a little help from your friends: semi-cooperative games via joker moves (Q6535468) (← links)
- On the satisfiability of local first-order logics with data (Q6597951) (← links)
- The complexity of the distributed constraint satisfaction problem (Q6614615) (← links)