Academic Journals Database
Disseminating quality controlled scientific knowledge

Reversibility in Massive Concurrent Systems

Author(s): L. Cardelli | C. Laneve

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 21;
Issue: 2;
Start page: 175;
Date: 2011;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Reversible algebra | DNA strands | computational histories | synchronization patterns | encodings

We introduce reversible structures, an algebra for massive concurrent systems, where terms retain bits of causal dependencies that allow one to reverse computation histories. We then study the implementation of (weak coherent) reversible structures in three-domains DNA strands, which is the natural model that has inspired reversible structures. We finally provide schemas for modeling significant synchronization patterns of process algebra into reversible structures and discuss the encoding of asynchronous Reversible CCS.
RPA Switzerland

Robotic Process Automation Switzerland


Tango Jona
Tangokurs Rapperswil-Jona