Sciweavers

Share
CONCUR
2008
Springer

Termination Problems in Chemical Kinetics

8 years 4 months ago
Termination Problems in Chemical Kinetics
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computation is decidable, but that termination with any probability strictly greater than zero is undecidable. Moreover, we show that the fairness intrinsic in stochastic computations implies that termination of all computation paths is undecidable, while it is decidable in a nondeterministic framework.
Gianluigi Zavattaro, Luca Cardelli
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Gianluigi Zavattaro, Luca Cardelli
Comments (0)
books