Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hybrid Behaviour of Markov Population Models   We investigate the behaviour of population models written in Stochastic
Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent
Constraint Programming. In particular, we focus on models from which we can
define a semantics of sCCP both in terms of Continuous Time Markov Chains
(CTMC) and in terms of Stochastic Hybrid Systems, in which some populations are
approximated continuously, while others are kept discrete. We will prove the
correctness of the hybrid semantics from the point of view of the limiting
behaviour of a sequence of models for increasing population size. More
specifically, we prove that, under suitable regularity conditions, the sequence
of CTMC constructed from sCCP programs for increasing population size converges
to the hybrid system constructed by means of the hybrid semantics. We
investigate in particular what happens for sCCP models in which some
transitions are guarded by boolean predicates or in the presence of
instantaneous transitions.

36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an