Stochastic probe
From HandWiki
In process calculus a stochastic probe is a measurement device that measures the time between arbitrary start and end events over a stochastic process algebra model.[1][2]
References
- ↑ Argent-Katwala, A.; Bradley, J. T. (2006). "Functional Performance Specification with Stochastic Probes". Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science. 4054. pp. 31. doi:10.1007/11777830_3. ISBN 978-3-540-35362-1. http://www.dcs.ed.ac.uk/pepa/functionalperformancespecification.pdf.
- ↑ Hayden, R. A.; Bradley, J. T.; Clark, A. (2013). "Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis". IEEE Transactions on Software Engineering 39: 97–118. doi:10.1109/TSE.2012.1. http://pubs.doc.ic.ac.uk/fluid-unified-stochastic-probes/fluid-unified-stochastic-probes.pdf.
 |  |
