A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
This paper surveys the theoretical developments in the ÿeld of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems -like large-scale computers, clientserver architectures, networks -can accurately be described using such stochastic speciÿcation formalisms. The main emphasis of this paper is the treatment of operational semantics, notions of equivalence, and (sound anddoi:10.1016/s0304-3975(00)00305-4 fatcat:uab7q45gs5c43ixjzujjthe3dy