Jasen Markovski, Erik P. de Vink. Real-Time Process Algebra with Stochastic Delays. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 177-186, IEEE Computer Society, 2007. [doi]
Abstract is missing.