ETAPS/ESOP 2024
A Denotational Approach to Release/Acquire Concurrency
A Denotational Approach to Release/Acquire Concurrency
A Denotational Approach to Release/Acquire Concurrency
A Denotational Approach to Release/Acquire Concurrency
An Algebraic Theory for Shared-State Concurrency
Awarded the Boaz Trakhtenbrot Centennial Scholarship
First-Order Quasi-canonical Proof Systems
Search