Highly Influenced

# A fluid analysis framework for a Markovian process algebra

@article{Hayden2010AFA, title={A fluid analysis framework for a Markovian process algebra}, author={Richard A. Hayden and Jeremy T. Bradley}, journal={Theor. Comput. Sci.}, year={2010}, volume={411}, pages={2260-2297} }

- Published 2010 in Theor. Comput. Sci.
DOI:10.1016/j.tcs.2010.02.001

Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models generated by process algebras, as with other interleaving formalisms, are susceptible to the state space explosion problem. Models with only a modest number of process algebra terms can easily generate so many states that they are all but intractable to traditional solution techniques. Previous work aimed at addressing… CONTINUE READING

Highly Influential

This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Highly Cited

This paper has 147 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 148 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**148**citations based on the available data.See our **FAQ** for additional information.