An analysis for proving probabilistic termination of biological systems

DOI10.1016/j.tcs.2012.10.058zbMath1294.92019OpenAlexW2040085466MaRDI QIDQ1935818

Roberta Gori, Francesca Levi

Publication date: 19 February 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.10.058

zbMATH Keywords

abstract interpretationchemical ground form calculusprobabilistic termination

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (1)

Unnamed Item

This page was built for publication: An analysis for proving probabilistic termination of biological systems