process calculus In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...

a stochastic probe is a measurement device that measures the time between arbitrary start and end events over a stochastic process algebra model.

References

Process calculi {{comp-sci-stub