Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
No abstract available.
Related papers
- A Partially Deadlock-Free Typed Process Calculus TOPLAS 1998
- Mailbox Types for Unordered Interactions ECOOP 2018
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Higher-Order Leak and Deadlock Free Locks POPL 2023
- Deadlock-freedom-by-design: multiparty asynchronous global programming POPL 2013
- Embedding session types in Haskell Haskell 2016
- Manifest Deadlock-Freedom for Shared Session Types ESOP 2019
- Certifying low-level programs with hardware interrupts and preemptive threads PLDI 2008