Session-based concurrency, reactively

DOI10.1007/978-3-319-60225-7_6MaRDI QIDQ5082191zbMATH OpenOpenAlexWikidataFDO

Authors Mauricio Cano, Jaime Arias, Jorge A. Pérez

Publication date 15 June 2022

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/25833

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session-based concurrency, declaratively
• Session types revisited
• Session-based concurrency in Maude: executable semantics and type checking
• On asynchronous eventful session semantics
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude

Cited in

(6)

• Reversible session-based concurrency in Haskell
• Session-based concurrency, declaratively
• Event-based run-time adaptation in communication-centric systems
• scientific article; zbMATH DE number 7453965 (Why is no real title available?)
• On asynchronous eventful session semantics
• Non-blocking concurrent imperative programming with session types

This page was built for publication: Session-based concurrency, reactively

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5082191)