scientific article; zbMATH DE number 7471661

MaRDI QIDQ5028420

Jorge A. Pérez, Claudio Antares Mezzina

Publication date: 9 February 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reversibilityconcurrencyprocess calculisession typescausal consistency

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items

The reversible temporal process language ⋮ revTPL: The Reversible Temporal Process Language

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible client/server interactions
• Contextual equivalences in configuration structures and reversibility
• Reversible session-based pi-calculus
• Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
• Realisability of pomsets
• On the relative expressiveness of higher-order session processes
• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• On the Relative Expressiveness of Higher-Order Session Processes
• A Gentle Introduction to Multiparty Asynchronous Session Types
• Controlling Reversibility in Higher-Order Pi
• Reversing Single Sessions
• Multiparty asynchronous session types
• Concurrent Reversible Sessions
• CONCUR 2004 - Concurrency Theory
• On asynchronous eventful session semantics
• Globally Governed Session Semantics
• Globally Governed Session Semantics
• CONCUR 2005 – Concurrency Theory