Supplementary material is avaiable as an appendix in the pdf of the paper.

}, month = {16, 2010}, pages = {367{\textendash}381}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, 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.

}, keywords = {limit theorems, Piecewise Deterministic Markov Processes, stochastic concurrent constraint programming, stochastic hybrid systems, Stochastic process algebras}, doi = {10.1007/978-3-642-13568-2_26}, url = {http://www.springerlink.com/content/e866lj737n011l42/}, author = {Luca Bortolussi}, editor = {K. Al-Begain and D. Fiems and W.J. Knottenbelt} }