Gave a talk at University of Tartu, Estonia
Title: Monadic and Algebraic Denotational Semantics for Concurrent Shared State
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin
Title: Monadic and Algebraic Denotational Semantics for Concurrent Shared State
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
Search