scholarly journals Visualisation for Stochastic Process Algebras: The Graphic Truth

2011 ◽  
pp. 310-324
Author(s):  
Michael J. A. Smith ◽  
Stephen Gilmore
Keyword(s):  
Stochastic Process ◽  
Process Algebras ◽  
Stochastic Process Algebras

scholarly journals Stochastic Process Algebras: From Individuals to Populations

2011 ◽  
Vol 55 (7) ◽  
pp. 866-881 ◽  
Author(s):  
J. Hillston ◽  
M. Tribastone ◽  
S. Gilmore
Keyword(s):  
Stochastic Process ◽  
Process Algebras ◽  
Stochastic Process Algebras

scholarly journals FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS

2011 ◽  
Vol 22 (04) ◽  
pp. 823-841 ◽  
Author(s):  
THOMAS HENZINGER ◽  
BARBARA JOBSTMANN ◽  
VERENA WOLF
Keyword(s):  
Stochastic Process ◽  
Markov Chains ◽  
Continuous Time ◽  
Population Models ◽  
Ease Of Use ◽  
Stochastic Petri Nets ◽  
Reaction Networks ◽  
Process Algebras ◽  
Continuous Time Markov Chains ◽  
Stochastic Process Algebras

In this survey, we compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. All these languages — matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, and guarded command models — describe continuous-time Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, and ease of use. Moreover, they provide different support for checking the well-formedness of a model and for analyzing a model.

Sign in / Sign up

Export Citation Format

Share Document