Abstract J. Markovski and E.P. de Vink
Real-Time Process Algebra with Stochastic Delays

A real-time process algebra is presented that features stochastic delays
governed by general distributions. In a setting of weak choice, dependent and
independent alternative and parallel composition are distinguished. This
allows for an expansion law for the parallel operator, as well as for modular
process definitions. The interplay of real-time, stochastic delays and
immediate actions is illustrated by a modeling of a standard queue.