Termination Problems in Chemical Kinetics

DOI10.1007/978-3-540-85361-9_37MaRDI QIDQ3541039zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Equilibrium and termination
• Probabilistic termination versus fair termination
• On the complexity of deciding fair termination of probabilistic concurrent finite-state programs
• Fair termination is decidable for ground systems
• Termination of processes

Cites work

• scientific article; zbMATH DE number 4024804 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3543391 (Why is no real title available?)
• scientific article; zbMATH DE number 559221 (Why is no real title available?)
• scientific article; zbMATH DE number 1759620 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Computation with finite stochastic chemical reaction networks
• On process rate semantics

Cited in

(13)

• Deterministic function computation with chemical reaction networks
• Leaderless Deterministic Chemical Reaction Networks
• Leaderless deterministic chemical reaction networks
• Strand algebras for DNA computing
• Comparing chemical reaction networks: a categorical and algorithmic perspective
• Experiments on the reliability of stochastic spiking neural P systems
• Turing universality of the biochemical ground form
• Probability 1 computation with chemical reaction networks
• scientific article; zbMATH DE number 1263733 (Why is no real title available?)
• Functional analysis of large-scale DNA strand displacement circuits
• On the Computational Power of Biochemistry
• Equilibrium and termination
• On the Expressive Power of Restriction and Priorities in CCS with Replication

This page was built for publication: Termination Problems in Chemical Kinetics

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