Academic Journals Database
Disseminating quality controlled scientific knowledge

Reversibility in Massive Concurrent Systems

ADD TO MY LIST
 
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

ABSTRACT
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.
Why do you need a reservation system?      Affiliate Program