Stochastic probe explained

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]}

Notes and References

1. Book: Argent-Katwala . A. . Bradley . J. T. . Functional Performance Specification with Stochastic Probes . 10.1007/11777830_3 . Formal Methods and Stochastic Models for Performance Evaluation . Lecture Notes in Computer Science . 4054 . 31 . 2006 . 978-3-540-35362-1 . http://www.dcs.ed.ac.uk/pepa/functionalperformancespecification.pdf.
2. Hayden . R. A. . Bradley . J. T. . Clark . A. . Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis . 10.1109/TSE.2012.1 . IEEE Transactions on Software Engineering . 39 . 97–118 . 2013 . 10.1.1.297.5068 . 584883 .