Rr Rob Hoogerwoord

发表

Some reflections on the implementation of trace structures

Rr Rob Hoogerwoord, 1986 .

A flexible processor-store interface : an exercise in hardware design

Rr Rob Hoogerwoord, 1991 .

A formal development of distributed summation

Rr Rob Hoogerwoord, 2000 .

On the foundations of functional programming : a programmer's point of view

Rr Rob Hoogerwoord, R. R. Hoogerwoord, 1994 .

Leslie Lamport's logical clocks : a tutorial

Rr Rob Hoogerwoord, 2002 .

A formal derivation of a sliding window protocol

Rr Rob Hoogerwoord, 2006 .