C
O
M
P
U
T
E
R
S
Y
S
T
E
M
S
G
R
O
U
P
Department of Computer Science, University of Edinburgh
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.
Comments to Murray Cole, <
mic@dcs.ed.ac.uk
>
CSG Homepage