Reversibility in Erlang: imperative constructs
type: Item
instance of: scholarly article
title: Reversibility in Erlang: imperative constructs
DOI: 10.1007/978-3-031-09005-9_13
author: Pietro Lami
author: Ivan Lanese
author: Jean-Bernard Stefani
author: Claudio Sacerdoti Coen
author: Giovanni Fabbretti
publication date: 2022-11-11T00:00:00Z
Mathematics Subject Classification ID: 68Q09
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 7615950
zbMATH Keywords: debugging
zbMATH Keywords: Erlang
zbMATH Keywords: reversible computing
zbMATH Keywords: causality
describes a project that uses: CauDEr
describes a project that uses: Erlang
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: 978-3-031-09005-9 13
OpenAlex ID: W4293210206
cites work: CONCUR 2004 - Concurrency Theory
cites work: Causal-Consistent Debugging of Distributed Erlang Programs
cites work: Causal-consistent rollback in a tuple-based language
cites work: Reversible Imperative Parallel Programs and Debugging
cites work: Irreversibility and Heat Generation in the Computing Process
cites work: Q5089300
cites work: Reversibility in the higher-order \(\pi\)-calculus
cites work: Cauder: a causal-consistent reversible debugger for Erlang
cites work: A theory of reversibility for Erlang
cites work: An axiomatic approach to reversible computation
cites work: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
description: scientific article; zbMATH DE number 7615950