Reversible session-based concurrency in Haskell
From MaRDI portal
Publication:6084530
DOI10.1007/978-3-030-18506-0_2zbMATH Open1525.68015MaRDI QIDQ6084530FDOQ6084530
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
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (1)
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 👍 👎
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)
