Papers tagged concurrency
- A Note on Distributed Computing
- An Investigation of the Therac-25 Accidents
- Characterizing the Scalability of Erlang VM on Many-core Processors
- Communicating Sequential Processes
- Communicating Sequential Processes
- Distributed Systems Reading Group
- Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask
- Linearizability: A Correctness Condition for Concurrent Objects
- Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation
- Push-Pull Functional Reactive Programming
- STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS
- Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
- The Go Programming Language