Distributed Operating Systems

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

An optional shortened abstract.