An algebraic theory for shared-state concurrency
DOI10.1007/978-3-031-21037-2_1zbMath1524.68055OpenAlexW4312579917MaRDI QIDQ6176562
Ori Lahav, Ohad Kammar, Yotam Dvir
Publication date: 25 July 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/296913009/main.pdf
denotational semanticsconcurrencymonadsequational theoryprogram refinementprogram equivalencecompiler transformationscompiler optimisationsshared state
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Combining algebraic effects with continuations
- On powerdomains and modality
- Petri nets, event structures and domains. I
- The type and effect discipline
- Algebraic operations and generic effects
- Full abstraction for a shared-variable parallel language
- A denotational semantics for SPARC TSO
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Complete trace models of state and control
- Combining effects: sum and tensor
- Taming release-acquire consistency
- The Laws of Programming Unify Process Calculi
- Algebraic foundations for effect-dependent optimisations
- A Model of Cooperative Threads
- Handlers of Algebraic Effects
- Polymorphic type, region and effect inference
- List Objects with Algebraic Structure
- A monad for full ground reference cells
- Just do it
- Intensionality, Definability and Computation
- A promising semantics for relaxed-memory concurrency
- NetKAT
This page was built for publication: An algebraic theory for shared-state concurrency
