scientific article; zbMATH DE number 7075876
From MaRDI portal
Publication:4967172
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.
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:
