scientific article; zbMATH DE number 7075876

zbMath1409.68117MaRDI QIDQ4967172

Francesco Tiezzi, Claudio Antares Mezzina, Ivan Lanese

Publication date: 3 July 2019

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

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

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 (22)

Controlled reversibility in communicating reaction systems ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ Towards a categorical representation of reversible event structures ⋮ Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ An axiomatic approach to reversible computation ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reversible session-based pi-calculus ⋮ Simulating reversible computation with reaction systems ⋮ Memory associated with membranes systems ⋮ Causal-consistent rollback in a tuple-based language ⋮ Causal-Consistent Debugging of Distributed Erlang Programs ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Unnamed Item ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels

This page was built for publication: