×

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)