Reversibility in massive concurrent systems

zbMATH Open1424.92028arXiv1108.3419MaRDI QIDQ4621150FDOQ4621150

Authors: Luca Cardelli, Cosimo Laneve 

Publication date: 8 February 2019

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

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

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)

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)