Deadlock-Free Channels and Locks
No abstract available.
Related papers
- Higher-Order Leak and Deadlock Free Locks POPL 2023
- Deadlock-Free Monitors ESOP 2018
- A Partially Deadlock-Free Typed Process Calculus TOPLAS 1998
- Manifest Deadlock-Freedom for Shared Session Types ESOP 2019
- Fencing off go: liveness and safety for channel-based programming POPL 2017
- Lock-free channels for programming via communicating sequential processes: poster PPoPP 2019
- A graded Monad for deadlock-free concurrency (functional pearl) Haskell 2020
- Verified Lock-Free Session Channels with Linking OOPSLA 2024