Howard Bowman Jeremy Bryans John Derrick Analysis of a Multimedia Stream using Stochastic Process Algebra. 230-245 2001 44 Comput. J. 4 http://dx.doi.org/10.1093/comjnl/44.4.230 db/journals/cj/cj44.html#BowmanBD01