- -

A theory of reversibility for Erlang

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A theory of reversibility for Erlang

Show full item record

Lanese, I.; Nishida, N.; Palacios, A.; Vidal, G. (2018). A theory of reversibility for Erlang. Journal of Logical and Algebraic Methods in Programming. 100:71-97. https://doi.org/10.1016/j.jlamp.2018.06.004

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/145737

Files in this item

Item Metadata

Title: A theory of reversibility for Erlang
Author: Lanese, Ivan Nishida, Naoki Palacios, Adrián Vidal, Germán
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it ...[+]
Subjects: Reversible computation , Actor model , Concurrency , Rollback recovery
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Source:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2018.06.004
Publisher:
Elsevier
Publisher version: https://doi.org/10.1016/j.jlamp.2018.06.004
Project ID:
FEDER/TIN2013-44742-C4-1-R
...[+]
FEDER/TIN2013-44742-C4-1-R
FEDER/TIN2016-76843-C4-1-R
JSPS/JP17H01722
info:eu-repo/grantAgreement/MINECO//EEBB-I-16-11469/ES/EEBB-I-16-11469/
Unión Europea/COST action IC1405
info:eu-repo/grantAgreement/MINECO//TIN2013-44742-C4-1-R/ES/VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA/
info:eu-repo/grantAgreement/MINECO//BES-2014-069749/ES/BES-2014-069749/
GENERALITAT VALENCIANA/PROMETEOII/2015/013
AEI/TIN2016-76843-C4-1-R
[-]
Thanks:
This work has been partially supported by MINECO/AEI/FEDER (EU) under grants TIN2013-44742-C4-1-R and TIN2016-76843-C4-1-R, by the Generalitat Valenciana under grant PROMETEO-II/2015/013 (SmartLogic), by the COST Action ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record