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.{{Cite book | last1 = Argent-Katwala | first1 = A. | last2 = Bradley | first2 = J. T. | chapter = Functional Performance Specification with Stochastic Probes | doi = 10.1007/11777830_3 | title = Formal Methods and Stochastic Models for Performance Evaluation | series = Lecture Notes in Computer Science | volume = 4054 | pages = 31 | year = 2006 | isbn = 978-3-540-35362-1 | chapter-url = http://www.dcs.ed.ac.uk/pepa/functionalperformancespecification.pdf}}{{Cite journal | last1 = Hayden | first1 = R. A. | last2 = Bradley | first2 = J. T. | last3 = Clark | first3 = A. | title = Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis | doi = 10.1109/TSE.2012.1 | journal = IEEE Transactions on Software Engineering | volume = 39 | pages = 97–118 | year = 2013 | url = http://pubs.doc.ic.ac.uk/fluid-unified-stochastic-probes/fluid-unified-stochastic-probes.pdf| citeseerx = 10.1.1.297.5068 | s2cid = 584883 }}