Bonding calculus

DOI10.1007/S11047-018-9709-7MaRDI QIDQ6062028zbMATH OpenOpenAlexFDO

Authors Bogdan Aman, Gabriel Ciobanu

Publication date 30 November 2023

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-018-9709-7

zbMATH Keywords

covalent bondsprocess calculusverification

Mathematics Subject Classification ID

Mathematical modeling or simulation for problems pertaining to biology (92-10) Biochemistry, molecular biology (92C40)

Recommendations

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Simulation of base excision repair in the calculus of covalent bonding
• A calculus of chemical systems
• Modelling biochemical pathways through enhanced -calculus
• scientific article; zbMATH DE number 1956561

Cites work

• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• BioAmbients: an abstraction for biological compartments
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Modelling in molecular biology
• Rule-Based Modelling of Cellular Signalling

Cited in

(1)

• Token multiplicity in reversing Petri nets under the individual token interpretation

This page was built for publication: Bonding calculus

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