scholarly journals Simulating Taverna workflows using stochastic process algebras

2011 ◽  
Vol 23 (16) ◽  
pp. 1920-1935 ◽  
Author(s):  
Vasa Curcin ◽  
Paolo Missier ◽  
David De Roure
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 Towards a Product Form Solution for Stochastic Process Algebras

1995 ◽  
Vol 38 (7) ◽  
pp. 622-632 ◽  
Author(s):  
M. Sereno
Keyword(s):  
Stochastic Process ◽  
Form Solution ◽  
Product Form ◽  
Process Algebras ◽  
Stochastic Process Algebras

scholarly journals Stochastic process algebras and their markovian semantics

2018 ◽  
Vol 5 (2) ◽  
pp. 20-35
Author(s):  
Jane Hillston
Keyword(s):  
Stochastic Process ◽  
Process Algebras ◽  
Stochastic Process Algebras

Unified specification and performance evaluation using stochastic process algebras

2002 ◽  
Vol 50 (2-3) ◽  
pp. 79-82 ◽  
Author(s):  
Roberto Gorrieri ◽  
Ulrich Herzog ◽  
Jane Hillston
Keyword(s):  
Stochastic Process ◽  
Performance Evaluation ◽  
Process Algebras ◽  
And Performance ◽  
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