Reversible session-based concurrency in Haskell

DOI10.1007/978-3-030-18506-0_2MaRDI QIDQ6084530zbMATH OpenFDO

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

zbMATH Keywords

reversibilitysession typesHaskellmessage-passing concurrency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

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

Cited in

(1)

• Reversibility in session-based concurrency: a fresh look

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)