These are some publications and books I wrote. They are arranged on sections depending on the system they refer to, or put in the miscellaneous section if they do not refer to a particular system we made. Within each section, the most recent one goes first.


Kivi related

Clive related

Nix related

Octopus related

Plan B related


2K, Off++, and Off

PhD Thesis

Rather old now...

Off -- Un Nuevo Enfoque en la Construccion de Sistemas Operativos Distribuidos. Also available in postscript. Also at Fi-UPM in pdf