From biochemistry to stochastic processes

DOI10.1016/J.ENTCS.2009.10.011MaRDI QIDQ7014438zbMATH OpenFDO

Authors Cosimo Laneve, S. Pradalier, Gianluigi Zavattaro

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2009.10.011

zbMATH Keywords

encoding from reactive to process-oriented formalismsstochastic process calculisystems biology

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational methods for problems pertaining to biology (92-08) Biochemistry, molecular biology (92C40)

Cites work

• A survey of Markovian behavioral equivalences
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Computational self-assembly
• Formal molecular biology
• scientific article; zbMATH DE number 1538049 (Why is no real title available?)
• scientific article; zbMATH DE number 5051639 (Why is no real title available?)
• On process rate semantics
• On the Computational Power of Biochemistry

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: From biochemistry to stochastic processes

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