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

Authors: HILLSTON J

Citation: J. Hillston, A TOOL TO ENHANCE MODEL EXPLOITATION, Performance evaluation, 22(1), 1995, pp. 59-74

Authors: GILMORE S HILLSTON J

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

Authors: HARRISON P HILLSTON J

Citation: P. Harrison et J. Hillston, EXPLOITING QUASI-REVERSIBLE STRUCTURES IN MARKOVIAN PROCESS ALGEBRA MODELS, Computer journal, 38(7), 1995, pp. 510-520

Authors: HILLSTON J MERTSIOTAKIS V

Citation: J. Hillston et V. Mertsiotakis, A SIMPLE TIME-SCALE DECOMPOSITION TECHNIQUE FOR STOCHASTIC-PROCESS ALGEBRAS, Computer journal, 38(7), 1995, pp. 566-577