Zaslat SMS: Cooperating Sequential Processes