×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [mutual exclusion algorithm]
Local-spin, Abortable Mutual Exclusion Joe Rideout
220 views
THIRD PART Algorithms for Concurrent Distributed Systems: The Mutual Exclusion problem
228 views
A Fault-Tolerant h-out of-k Mutual Exclusion Algorithm Using Cohorts Coteries for Distributed Systems Presented by Jehn-Ruey Jiang National Central University
218 views
Concurrency in Distributed Systems: Mutual exclusion
223 views
A Specification Language and a Verification Engine for Reliable Reactive System Development
24 views
Tools for Specification, Verification, and Synthesis of Reactive Systems Tevfik Bultan Department of Computer Science University of California, Santa Barbara
218 views