Relative expressiveness of calculi for reversible concurrency

MaRDI QIDQ5207890zbMATH OpenFDO

Authors Doriana Medić

Publication date 13 January 2020

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

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(17)

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

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)