Relative expressiveness of calculi for reversible concurrency

zbMATH Open1428.68203MaRDI QIDQ5207890FDOQ5207890

Authors: Doriana Medić 

Publication date: 13 January 2020

Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/590/601

Recommendations

• A parametric framework for reversible \(\pi\)-calculi
• A modular formalization of reversibility for concurrent models and languages
• A compositional semantics for the reversible \(\pi\)-calculus
• Reversibility in the higher-order \(\pi\)-calculus
• Reversing Higher-Order Pi

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (17)

• Specifying reversibility with \(\mathrm{TLA}^+\)
• Reversibility in the higher-order \(\pi\)-calculus
• Implementation of a reversible distributed calculus
• Replications in reversible concurrent calculi
• Rigid families for the reversible \(\pi \)-calculus
• Static versus dynamic reversibility in CCS
• Reversibility in session-based concurrency: a fresh look
• A parametric framework for reversible \(\pi\)-calculi
• A compositional semantics for the reversible \(\pi\)-calculus
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Quantitative Analysis of Concurrent Reversible Computations
• A theory of reversibility for Erlang
• Title not available (Why is that?)
• Concurrent reversible sessions
• On reversibility and broadcast
• A modular formalization of reversibility for concurrent models and languages
• Towards bridging time and causal reversibility

This page was built for publication: Relative expressiveness of calculi for reversible concurrency

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