Resource-Passing Concurrent Programming
No abstract available.
Related papers
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style ESOP 2022
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Post-Pass Binary Adaptation for Software-Based Speculative Precomputation PLDI 2002
- Channel dependent types for higher-order mobile processes POPL 2004
- Resources, Concurrency, and Local Reasoning (Abstract) ESOP 2004
- Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation APLAS 2016
- Communicating State Transition Systems for Fine-Grained Concurrent Resources ESOP 2014