Papers tagged concurrency
- A Generic Abstract Machine for the Join-Calculus
- A Poor Man's Concurrency Monad
- ACTORS: A Model of Concurrent Computation in Distributed Systems
- C-RACER: A Faster Race Detector Than FastTrack
- Communicating Sequential Processes
- COPS: Consistency-based Service Oriented Programming Support
- Efficient Lock-free B-trees
- Event-driven FRP
- Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation
- Making reliable distributed systems in the presence of software errors
- Making reliable distributed systems in the presence of software errors
- Making reliable distributed systems in the presence of software errors
- Readings in Distributed Systems
- Real-Time Function Reactive Programming
- Relaxed Memory Models: An Operational Approach
- Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms
- Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-language Calls in Haskell
- The Chubby lock service for loosely-coupled distributed systems
- Time, Clocks, and the Ordering of Events in a Distributed System
- Towards Practical Default-On Multi-Core Record/Replay
- Understanding the Limitations of Causally and Totally Ordered Communication
- VLL: A Lock Manager Redesign for Main Memory Database Systems
- Write-Optimized B-Trees