Holger Hermanns, Ulrich Herzog, and Jane Hillston. Stochastic process algebras--- A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Reliable Performance Modelling with Approximate Synchronisations - Bradley, Davies (1999) (Correct)
....affects the quality of the performance prediction for any model. This paper looks at two Markovian Process Algebras, TIPP and PEPA, and demonstrates how the adoption of nice synchronisation models affects the reliability of the resulting performance statistics. Stochastic Process Algebras [2, 3] are derived from standard process algebra models of CCS [4] and CSP [5] P : ff; f) P z action j (P P ) z choice j (P k s P ) z synchronisation j (P=L) z hiding j (A) z constant (1) The difference is that the standard non deterministic action ....
Holger Hermanns, Ulrich Herzog, and Jane Hillston. Stochastic process algebras--- A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996.
Performance Modelling and Synchronisation - Bradley, Davies (1998) (Correct)
....affects the quality of the performance prediction for any model. This paper looks at two Markovian Process Algebras, TIPP and PEPA, and demonstrates how the adoption of nice synchronisation models affects the reliability of the resulting performance statistics. Stochastic Process Algebras [7, 6] are derived from standard process algebra models of CCS [14] and CSP [12] P : ff; f) P z action j (P P ) z choice j (P k s P ) z synchronisation j (P=L) z hiding j (A) z constant (1) The difference is that the standard non deterministic ....
Hermanns, H., Herzog, U., and Hillston, J. Stochastic process algebras---A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996.
Reliable Performance Modelling with Approximate Synchronisations - Bradley, Davies (1999) (Correct)
....for any model. This paper looks at two Markovian Process Algebras, TIPP and PEPA, and Submitted to PAPM 99. Obsoletes CSTR 98 009 demonstrates how the adoption of nice synchronisation models affects the reliability of the resulting performance statistics. Stochastic Process Algebras [8, 7] are derived from standard process algebra models of CCS [14] and CSP [13] P : ff; f) P z action j (P P ) z choice j (P k s P ) z synchronisation j (P=L) z hiding j (A) z constant (1) The difference is that the standard non deterministic action ....
Hermanns, H., Herzog, U., and Hillston, J. Stochastic process algebras---A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996.
Reliable Performance Modelling with Approximate Synchronisations - Bradley, Davies (1999) (Correct)
No context found.
Holger Hermanns, Ulrich Herzog, and Jane Hillston. Stochastic process algebras--- A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996.
Reliable Performance Modelling with Approximate Synchronisations - Bradley, Davies (1999) (Correct)
No context found.
Saur-Verlag. #8# Hermanns, H., Herzog, U., and Hillston, J. Stochastic process algebras---A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996.
Performance Modelling and Synchronisation - Bradley, Davies (1998) (Correct)
No context found.
Hermanns, H., Herzog, U., and Hillston, J. Stochastic process algebras---A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC