On the shadow CPU approximation for modelling priority scheduling in computer systems

Buffered versus unbuffered tree networks for accessing a critical resource

1983

The effect of restrictions on relative processor speeds to differences in efficiency between synchronous and asynchronous systems

1982

Fast probabilistic techniques for dynamic parallel addition, parallel counting and the processor identification problem