Reversibility in massive concurrent systems. (English) Zbl 1424.92028
Summary: 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 schemes for modeling significant synchronization patterns of process algebra into reversible structures and discuss the encoding of asynchronous reversible CCS.
MSC:
92D20 | Protein sequences, DNA sequences |
92-08 | Computational methods for problems pertaining to biology |
68P30 | Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) |