Limit behavior of the hybrid approximation of stochastic process algebras

14Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of divergent size, to the hybrid approximation. © 2010 Springer-Verlag.

Cite

CITATION STYLE

APA

Bortolussi, L. (2010). Limit behavior of the hybrid approximation of stochastic process algebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6148 LNCS, pp. 367–381). https://doi.org/10.1007/978-3-642-13568-2_26

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free