Hybrid behaviour of Markov population models

We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from which we can define a semantics both in terms of Continuous Time Markov Chains (CTMC) and in terms of Stochastic Hybrid Systems, in which some p...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 247; pp. 37 - 86
Main Author:	Bortolussi, Luca
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.04.2016
Subjects:	Fluid approximation Mean field Stochastic concurrent constraint programming Stochastic hybrid systems Stochastic process algebras Weak convergence Mean field Weak convergence Stochastic process algebras Stochastic hybrid systems Fluid approximation Stochastic concurrent constraint programming
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!