Invia SMS: Design of distributed operating systems /