%0 Journal Article
%T Reversibility in Massive Concurrent Systems
%A L. Cardelli
%A C. Laneve
%J Scientific Annals of Computer Science
%D 2011
%I Alexandru Ioan Cuza University of Iasi
%X 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.
%K Reversible algebra
%K DNA strands
%K computational histories
%K synchronization patterns
%K encodings
%U http://www.infoiasi.ro/bin/download/Annals/XXI2/XXI2_0.pdf