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

edit
  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.