Reversibility in Massive Concurrent Systems


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… (More)
View Slides


6 Figures and Tables