Reversing Single Sessions

DOI10.1007/978-3-319-40578-0_4zbMath1476.68185arXiv1510.07253OpenAlexW2238097345MaRDI QIDQ3186584

Francesco Tiezzi, Nobuko Yoshida

Publication date: 10 August 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.07253

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Reversibility in session-based concurrency: a fresh look ⋮ Reversing Single Sessions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices

Cites Work

• Reversible session-based pi-calculus
• A calculus of mobile processes. I
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Reversing algebraic process calculi
• Controlling Reversibility in Higher-Order Pi
• Reversing Single Sessions
• Multiparty asynchronous session types
• Reversing Higher-Order Pi
• Minimal and Optimal Computations of Recursive Programs
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Asynchronous Session Types and Progress for Object Oriented Languages
• Sub-behaviour relations for session-based client/server systems
• Globally Governed Session Semantics
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Reversing Single Sessions