Synchronizing Actions
No abstract available.
Related papers
- Destructors, finalizers, and synchronization POPL 2003
- Applications of synchronization coverage PPoPP 2005
- A Concurrent Calculus with Atomic Transactions ESOP 2007
- Verification and Design Aspects of "True" Concurrency POPL 1978
- Fine-Grained Pipeline Parallelization for Network Function Programs CGO 2021
- Distributed Cooperation with Action Systems TOPLAS 1988
- Send to me first: Priority in synchronous message-passing JFP 2022
- Atomicity Refinement for Verified Compilation TOPLAS 2014