Zaslat SMS: A calculus of total correctness for communicating processes /