Darwin
Darwin Overview
Remos
Legion
CACM paper
Globus
Overview