Reversible session-based concurrency in Haskell
DOI10.1007/978-3-030-18506-0_2zbMATH Open1525.68015MaRDI QIDQ6084530FDOQ6084530
Authors: Folkert de Vries, Jorge A. Pérez 
Publication date: 1 December 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.rug.nl/en/publications/25f3b69f-4f69-4706-9f59-ab208fbe9083
Recommendations
- Reversibility in session-based concurrency: a fresh look
- Conservative concurrency in Haskell
- Reversible session-based pi-calculus
- Reversibility and models for concurrency
- Concurrency and reversibility
- Session-based concurrency, reactively
- Session-based concurrency, declaratively
- Reactive concurrent programming revisited
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (1)
This page was built for publication: Reversible session-based concurrency in Haskell
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6084530)
