An Algebraic Theory for Shared-State Concurrency
Abstract
. We present a monadic denotational semantics for a higher-order programming language with shared-state concurrency, i.e
Related papers
- Complexity Analysis of Tree Share Structure APLAS 2018
- Diagrammatic algebra: from linear to concurrent systems POPL 2019
- On algebraic abstractions for concurrent separation logics POPL 2021
- Safe mutation with algebraic effects Haskell 2021
- Programming and reasoning about actors that share state JFP 2024
- The Chemical Approach to Typestate-Oriented Programming TOPLAS 2017
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026
- The chemical approach to typestate-oriented programming OOPSLA 2015