Compositional Markovian Modelling Using A Process Algebra

@inproceedings{Hillston1995CompositionalMM,
  title={Compositional Markovian Modelling Using A Process Algebra},
  author={Jane Hillston},
  year={1995}
}
We introduce a stochastic process algebra, PEPA, as a high-level modelling paradigm for continuous time Markov chains (CTMC). Process algebras are mathematical theories which model concurrent systems by their algebra and provide apparatus for reasoning about the structure and behaviour of the model. Recent extensions of these algebras, associating random variables with actions, make the models also amenable to Markovian analysis. A compositional structure is inherent in the PEPA language. As… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 65 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 20 references

The Numerical Solution of Stochastic Automata Network

  • K. Atif W.J. Stewart, B. Plateau
  • Technical Report 6,
  • 1993
1 Excerpt

Composite Performance and Availability Analysis Using a Hierarchy of Stochastic Reward Nets

  • J. K. Muppala, K. S. Trivedi
  • Computer Performance Evaluation: Modelling…
  • 1991
1 Excerpt

Similar Papers

Loading similar papers…