An algebra of reversible computation

We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated...

Descripción completa

Detalles Bibliográficos
Autor principal: Wang, Yong
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer International Publishing 2016
Materias:
Research
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5037115/
https://www.ncbi.nlm.nih.gov/pubmed/27730021
http://dx.doi.org/10.1186/s40064-016-3229-7
_version_ 1782455668384464896
author Wang, Yong
author_facet Wang, Yong
author_sort Wang, Yong
collection PubMed
description We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.
format Online
Article
Text
id pubmed-5037115
institution National Center for Biotechnology Information
language English
publishDate 2016
publisher Springer International Publishing
record_format MEDLINE/PubMed
spelling pubmed-50371152016-10-11 An algebra of reversible computation Wang, Yong Springerplus Research We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation. Springer International Publishing 2016-09-26 /pmc/articles/PMC5037115/ /pubmed/27730021 http://dx.doi.org/10.1186/s40064-016-3229-7 Text en © The Author(s) 2016 Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
spellingShingle Research
Wang, Yong
An algebra of reversible computation
title An algebra of reversible computation
title_full An algebra of reversible computation
title_fullStr An algebra of reversible computation
title_full_unstemmed An algebra of reversible computation
title_short An algebra of reversible computation
title_sort algebra of reversible computation
topic Research
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5037115/
https://www.ncbi.nlm.nih.gov/pubmed/27730021
http://dx.doi.org/10.1186/s40064-016-3229-7
work_keys_str_mv AT wangyong analgebraofreversiblecomputation
AT wangyong algebraofreversiblecomputation

Ejemplares similares