distributed operating systems

The HetNOS network operating system: a tool for writing distributed applications

An optional shortened abstract.