CSG Technical Reports 1994

• Computer Systems Research at Edinburgh
  The Computer Systems Group
  CSG report ECS-CSG-1-94, May 1994.
• The Formal Specification in Z of Task Migration on the Testbed Multicomputer
  Paul Martin
  CSG report ECS-CSG-2-94, May 1994.
• The Performance Profiling of a Load Balancing Multicomputer
  Paul Martin
  CSG report ECS-CSG-3-94, May 1994.
• Comparison of three SPN Packages
  Isabel Rojas-Mujica
  CSG report ECS-CSG-4-94, June 1994.
• The Use of Caching in Decoupled Multiprocessors with Shared Memory
  Tim Harris and Nigel Topham
  CSG report ECS-CSG-5-94, October 1994.
• A Comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets
  S. Donatelli, J. Hillston and M. Ribaudo
  CSG report ECS-CSG-6-94, November 1994.
• Specifications in Stochastic Process Algebra for a Robot Control Problem
  Stephen Gilmore, Jane Hillston, Robert Holton and Michael Rettelbach
  CSG report ECS-CSG-7-94, December 1994.