Compositional Sequentialization of Periodic Programs
Abstract elided by the publisher.
Related papers
- Theoretical foundations for compensations in flow composition languages POPL 2005
- Transactional Composition of Nonblocking Data Structures PPoPP 2023
- Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation OOPSLA 2022
- Mostly Parallel Garbage Collection PLDI 1991
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Laws of concurrent programming PLDI 2014
- ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs ECOOP 2023
- The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency POPL 2022