Distributed Algorithms: 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993 : Proceedings
Springer-Verlag, 1993 - Computers - 323 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."--PUBLISHER'S WEBSITE.
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
18 other sections not shown
Other editions - View all
A-process action agreement protocol alternating bit protocol assume Atomic Broadcast atomic registers balancing network BFS tree Byza Byzantine failures cell compare-and-swap Computer Science Confe configuration construction correct counting networks crash crash-omission current epoch data item decision(q define denote Distributed Algorithms Distributed Computing Dolev dynamic envelope epoch changing epoch parameters event execution fail-stop fault-tolerant fully resilient gracefully degrading graph Herlihy initial input invocation label Lemma lower bound message complexity nonfaulty number of processors O(log output p-extension path phase PRAM Principles of Distributed Proc processor Proof prototile reactive read operation receiver replicas Ret(op ring rollback scan self-stabilizing sender sent sequence number serialized shared memory snapshot object solution sorting networks step strict two-phase locking synchronous technique Theorem token transitional tuple update user operations variable version number wait-free implementation Wang tiles write operations Write-All