J. Markowski and E.P. de Vink
Real-time in stochastic process algebra: keeping track of winners and losers

A stochastic time process algebra that deals with generally distributed delays
in the style of real-time process theories is presented. Two types of race
condition are distinguished to enable compositional modeling as well as a
non-trivial expansion law. The interplay of real-time and stochastic time is
analyzed for the standard bisimulation definitions and for the race condition.
Finally, a new notion of context-sensitive interpolation is proposed that
captures time-additivity as induced by the race condition.