Bonding calculus

DOI10.1007/s11047-018-9709-7zbMath1530.92054OpenAlexW4256694572MaRDI QIDQ6062028

Gabriel Ciobanu, Bogdan Aman

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

verificationprocess calculuscovalent bonds

Mathematics Subject Classification ID

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

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Modelling in molecular biology
• BioAmbients: an abstraction for biological compartments
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Rule-Based Modelling of Cellular Signalling
• Formal Methods for the Design of Real-Time Systems
• Lectures on Concurrency and Petri Nets
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology