Stochastic Process Algebras: From Individuals to Populations

Jane Hillston, Mirco Tribastone, Stephen Gilmore. Stochastic Process Algebras: From Individuals to Populations. Comput. J., 55(7):866-881, 2012. [doi]

Abstract

Abstract is missing.