Distributed Algorithms: 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings
Springer, Oct 8, 1993 - Computers - 325 pages
This volume presents the proceedings of the Seventh International Workshop on Distributed Algorithms (WDAG 93), held in Lausanne, Switzerland, September 1993. It contains 22 papers selected from 72 submissions. The selection was based on originality, quality, and relevance to the field of distributed computing: 6 papers are from Europe, 13 from North America, and 3 from the Middle East. The papers discuss topics from all areas of distributed computing and their applications, including distributed algorithms for control and communication, fault-tolerant distributed algorithms, network protocols, algorithms for managing replicated data, protocols for real-time distributed systems, issues of asynchrony, synchrony and real-time, mechanisms for security in distributed systems, techniques for the design and analysis of distributed algorithms, distributed database techniques, distributed combinatorial and optimization algorithms, and distributed graph algorithms.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Towards a necessary and sufficient condition for waitfree synchronization
Shared memory model
19 other sections not shown
Other editions - View all
6-coloring A-process action agreement protocol assume Atomic Broadcast atomic registers balancing network BFS tree ByzA Byzantine failures cell compare-and-swap Computer Science configuration Confp construction correct counting networks crash crash-omission current epoch data item define denote Distributed Algorithms Distributed Computing Dolev dynamic envelope epoch changing epoch parameters event execution fail-stop fault-tolerant gracefully degrading graph Herlihy initial input invocation job scheduling label Lemma lower bound message complexity node nonfaulty number of processors output p-extension paper path phase PrAM Principles of Distributed Proc process q processor Proof prototile reactive read operation receiver replicas ring rollback scan self-stabilizing sender sequence number serialized shared memory snapshot object snapshot problem solution sorting networks step strict two-phase locking Symposium synchronous technique Theorem token transitional tuple update user operations variable version number wait-free implementation Wang tiles write operations Write-All