Termination Problems in Chemical Kinetics

DOI10.1007/978-3-540-85361-9_37zbMath1160.68478OpenAlexW1515007745WikidataQ56982034 ScholiaQ56982034MaRDI QIDQ3541039

Gianluigi Zavattaro, Luca Cardelli

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_37

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Chemical kinetics in thermodynamics and heat transfer (80A30)

Related Items

Deterministic function computation with chemical reaction networks, Comparing chemical reaction networks: a categorical and algorithmic perspective, Turing universality of the Biochemical Ground Form, Leaderless Deterministic Chemical Reaction Networks, Functional Analysis of Large-Scale DNA Strand Displacement Circuits, Leaderless deterministic chemical reaction networks, Strand algebras for DNA computing, On the Computational Power of Biochemistry, On the Expressive Power of Restriction and Priorities in CCS with Replication, Probability 1 computation with chemical reaction networks, Experiments on the reliability of stochastic spiking neural P systems

Cites Work

• Computation with finite stochastic chemical reaction networks
• On process rate semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item