Zaslat SMS: A theory of communicating sequential processes /