Reversibility in massive concurrent systems

MaRDI QIDQ4621150zbMATH OpenFDO

Authors Luca Cardelli, Cosimo Laneve

Publication date 8 February 2019

Full work available at URL https://arxiv.org/abs/1108.3419

zbMATH Keywords

DNA strandsencodingssynchronization patternscomputational historiesreversible algebra

Mathematics Subject Classification ID

Protein sequences, DNA sequences (92D20) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Computational methods for problems pertaining to biology (92-08)

Recommendations

• Concurrency and reversibility
• Reversibility and models for concurrency
• A modular formalization of reversibility for concurrent models and languages
• Concurrent flexible reversibility
• Reversibility and asymmetric conflict in event structures

Cited in

(8)

• Reversible computation in nature inspired rule-based systems
• Time-reversal homotopical properties of concurrent systems
• Towards a taxonomy for reversible computation approaches
• Modular verification of chemical reaction network encodings via serializability analysis
• Reversibility in session-based concurrency: a fresh look
• Quantitative Analysis of Concurrent Reversible Computations
• Concurrency and reversibility
• Forward-reverse observational equivalences in CCSK

This page was built for publication: Reversibility in massive concurrent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621150)