Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 1995
  2. Exploiting Quasi-reversible Structures in Markovian Process Algebra Models

    Harrison, P. & Hillston, J. 1995 In : The Computer Journal. 38, 7, p. 510-520 11 p.

    Research output: Contribution to journalArticle

  3. GSPN and SPA Compared in Practice

    Donatelli, S., Hermanns, H., Hillston, J. & Ribaudo, M. 1995 Quantitative Methods in Parallel Systems. Baccelli, F., Jean-Marie, A. & Mitrani, I. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 38-51 14 p. (Esprit Basic Research Series)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Specifications in Stochastic Process Algebra for a Robot Control Problem

    Gilmore, S., Hillston, J., Holton, R. & Rettelbach, M. 1995 In : International Journal of Production Research. 34, p. 1065-1080 16 p.

    Research output: Contribution to journalArticle

  5. 1994
  6. The nature of synchronisation

    Hillston, J. Jul 1994 Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling. p. 143-160 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Stochastic Process Algebras - Integrating Qualitative and Quantitative Modelling

    Hillston, J., Hermanns, H., Herzog, U., Mertsiotakis, V., Rettelbach, M., Herzog, H. H. D. U. & Rettelbach, V. M. D. M. 1994 Proceeding of: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. The PEPA workbench: A tool to support a process algebra-based approach to performance modelling

    Gilmore, S. & Hillston, J. 1994 Computer Performance Evaluation Modelling Techniques and Tools: 7th International Conference Vienna, Austria, May 3–6, 1994 Proceedings. Haring, G. & Kotsis, G. (eds.). Springer-Verlag GmbH, p. 353-368 16 p. (Lecture Notes in Computer Science; vol. 794)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. 1992
  10. 7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991

    Hillston, J. (ed.), King, P. J. B. (ed.) & Pooley, R. (ed.) 1992

    Research output: Contribution to conferencePaper

  11. Erratum to: Extension to Preemption of a Method for a Feedback Queue

    Hillston, J. E., King, P. J. B. & Pooley, R. J. 1992 7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22–23 July 1991. Hillston, J. E., King, P. J. B. & Pooley, R. J. (eds.). London: Springer London, p. 192-193 2 p. (Workshops in Computing)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 1991
  13. A case study using the IMSE experimentation tool

    Hillston, J., Opdahl, A. L. & Pooley, R. 1991 Advanced Information Systems Engineering. Andersen, R., Bubenko JanisA., J. & Sølvberg, A. (eds.). Springer Berlin Heidelberg, Vol. 498, p. 284-306 23 p. (Lecture Notes in Computer Science; vol. 498)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution