A.E.Lawrence wrote: > There are papers here: > http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-fahndrich.pdf Following myself up, Fred's RMoX is in the paper: see p35 . And they complain that it isn't completely written in occam! Agreed :-) Adrian -- Dr A E Lawrence http://www.lboro.ac.uk/departments/co/people/acad_staff/lawrence.html http://www-staff.lboro.ac.uk/~coael/