Submission to ETAPS/FoSSaCS 2025 accepted
Title: Two-sorted Algebraic Decompositions of Brookes's Shared-State Denotational Semantics
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin
Title: Two-sorted Algebraic Decompositions of Brookes's Shared-State Denotational Semantics
Title: A Brookes-Style Denotational Semantics for Release/Acquire Concurrency
Title: A Denotational Approach to Release/Acquire Concurrency
Title: A Denotational Approach to Release/Acquire Concurrency
Title: A Denotational Approach to Release/Acquire Concurrency
Search