Stochastic probe

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.¹²

References

Argent-Katwala, A.; Bradley, J. T. (2006). "Functional Performance Specification with Stochastic Probes" (PDF). Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science. Vol. 4054. p. 31. doi:10.1007/11777830_3. ISBN 978-3-540-35362-1.
Hayden, R. A.; Bradley, J. T.; Clark, A. (2013). "Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis" (PDF). IEEE Transactions on Software Engineering. 39: 97–118. CiteSeerX 10.1.1.297.5068. doi:10.1109/TSE.2012.1. S2CID 584883.

[1] Argent-Katwala, A.; Bradley, J. T. (2006). "Functional Performance Specification with Stochastic Probes" (PDF). Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science. Vol. 4054. p. 31. doi:10.1007/11777830_3. ISBN 978-3-540-35362-1.

[2] Hayden, R. A.; Bradley, J. T.; Clark, A. (2013). "Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis" (PDF). IEEE Transactions on Software Engineering. 39: 97–118. CiteSeerX 10.1.1.297.5068. doi:10.1109/TSE.2012.1. S2CID 584883.

1

2