References

• 1. 1)
     • S. Gilmore , J. Hillston , D.R.W. Holton , M. Rettelbach . SpecificationsStochastic Process Algebra for a Robot Control Problem. Int. J. Prod. Res. , 4 , 1065 - 1080
  2. 2)
     • D.R.W. Holton . A PEPA specification of an industrial production cell. Proceedings of the Third International Workshop on Process Algebras and Performance Modelling. Special Issue of The Computer Journal , 7 , 542 - 551
  3. 3)
     • J. Hillston . (1996) A Compositional Approach to Performance Modelling.
  4. 4)
     • Gilmore, S., Hillston, J.: `Refining internal choicePEPA models', Proceedings of the Twelfth UK Performance Engineering Workshop, September 1996, The University of Edinburgh, Department of Computer Science, p. 49–64.
  5. 5)
     • C.A.R. Hoare . (1985) Communicating Sequential Processes.
  6. 6)
     • G. Clark . (1996) Formalising the specification of rewards with PEPA Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling.
  7. 7)
     • M. Ribaudo . (1996) Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling.
  8. 8)
     • J. Barnes . (1996) ProgrammingAda 95.
  9. 9)
     • S. Gilmore , J. Hillston . ‘Process algebras and their application to performance modelling‘Proceedings of the Third International Workshop on Process Algebras and Performance Modelling. Special Issue of The Computer Journal , 7 , 489 - 491
  10. 10)
      • R. Milner , M. Tofte , R. Harper , D. MacQueen . (1997) The Definition of Standard ML: Revised 1997.
  11. 11)
      • W.H. Press , S.A. Teukolsky , W.T. Vetterling , B.F. Flannery . (1992) Numerical RecipesC: The Art of Scientific Computing.
  12. 12)
      • Pooley, R., Hillston, J.: Proceedings of the Twelfth UK Performance Engineering Workshop, September 1996, The University of Edinburgh, Department of Computer Science.
  13. 13)
      • Howell, F., MCNAB, R.: `Simjava: A discrete event simulation package for Java with applicationscomputer systems modelling', First International Conference on Web-based Modelling and Simulation, San Diego CA, 1998.
  14. 14)
      • S. Gilmore , J. Hillston . (1994) The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance ModellingProceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794Lecture NotesComputer Science.
  15. 15)
      • R. Milner . (1989) Communication and Concurrency.
  16. 16)
      • Odersky, M., Wadler, P.: `Pizza into Java: Translating theory into practice', Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997, p. 144–149.
  17. 17)
      • El-Rayes, A., Kwiatkowska, M., Minton, S.: `Analysing performance of lift systems PEPA', Proceedings of the Twelfth UK Performance Engineering Workshop, September 1996, The University of Edinburgh, Department of Computer Science, p. 83–100.
  18. 18)
      • N. Thomas , S. Gilmore . (1998) Applying quasi-separability to Markovian process algebra. In Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling.
  19. 19)
      • S. Gilmore , J. Hillston , M. Ribaudo . (1998) An efficient algorithm for aggregating PEPA models submitted for publication.
  20. 20)
      • S. Gilmore , J. Hillston , D.R.W. Holton . (1996) From SPA models to programs Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling.