Stochastic Process Algebras
From MaRDI portal
Publication:3084589
DOI10.1007/978-3-540-72522-0_4zbMath1323.68406OpenAlexW2115654637MaRDI QIDQ3084589
Stephen T. Gilmore, Jane Hillston, Mirco Tribastone, A. D. Clark
Publication date: 25 March 2011
Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_4
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Fundamental results on the reactionâdiffusion equations associated with a PEPA model ⋮ Flexible nets: a modeling formalism for dynamic systems with uncertain parameters ⋮ Hybrid behaviour of Markov population models
Uses Software
This page was built for publication: Stochastic Process Algebras
