Authors:
GILMORE S
HILLSTON J
HOLTON R
RETTELBACH M
Citation: S. Gilmore et al., SPECIFICATIONS IN STOCHASTIC-PROCESS ALGEBRA FOR A ROBOT CONTROL PROBLEM, International Journal of Production Research, 34(4), 1996, pp. 1065-1080
Citation: S. Gilmore et J. Hillston, PROCESS ALGEBRAS AND THEIR APPLICATION TO PERFORMANCE MODELING - PROCEEDINGS OF THE 3RD WORKSHOP ON PROCESS ALGEBRA AND PERFORMANCE MODELING - EDINBURGH, SCOTLAND, UK, Computer journal, 38(7), 1995, pp. 489-491
Citation: P. Harrison et J. Hillston, EXPLOITING QUASI-REVERSIBLE STRUCTURES IN MARKOVIAN PROCESS ALGEBRA MODELS, Computer journal, 38(7), 1995, pp. 510-520
Citation: J. Hillston et V. Mertsiotakis, A SIMPLE TIME-SCALE DECOMPOSITION TECHNIQUE FOR STOCHASTIC-PROCESS ALGEBRAS, Computer journal, 38(7), 1995, pp. 566-577