Hybrid behaviour of Markov population models

DOI10.1016/j.ic.2015.12.001zbMath1336.68177arXiv1211.1643MaRDI QIDQ259041

Luca Bortolussi

Publication date: 10 March 2016

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.1643

zbMATH Keywords

weak convergence; fluid approximation; mean field; stochastic concurrent constraint programming; stochastic hybrid systems; stochastic process algebras

Mathematics Subject Classification ID

60J25: Continuous-time Markov processes on general state spaces

92D25: Population dynamics (general)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

60J28: Applications of continuous-time Markov processes on discrete state spaces

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• Bio-PEPA