An extension of stochastic process algebra for optical networks - Tsang, Tony.