Jasen Markovski, Erik P. de Vink. Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 180-189, IEEE, 2008. [doi]
Abstract is missing.