Modelling of DNA mismatch repair with a reversible process calculus
From MaRDI portal
Publication:2148904
DOI10.1016/j.tcs.2022.06.009zbMath1493.92020OpenAlexW4281679769WikidataQ114013030 ScholiaQ114013030MaRDI QIDQ2148904
Publication date: 24 June 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.06.009
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- P systems with minimal parallelism
- A calculus of communicating systems
- The chemical abstract machine
- Mobile ambients
- Computing with membranes
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Reversible computation in Petri nets
- Simulation of base excision repair in the calculus of covalent bonding
- A calculus of chemical systems
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Reversible computation in nature inspired rule-based systems
- Reversible occurrence nets and causal reversible prime event structures
- An axiomatic approach to reversible computation
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Reversing algebraic process calculi
- A Language for Biochemical Systems: Design and Formal Specification
- A Calculus for Local Reversibility
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Modeling and Simulating Chemical Reactions
- Reversing Higher-Order Pi
- CONCUR 2004 - Concurrency Theory
- Membrane Computing
- Computational Methods in Systems Biology
- Brane Calculi
- Foundations of Software Science and Computation Structures
This page was built for publication: Modelling of DNA mismatch repair with a reversible process calculus
