SMS: Cooperating Sequential Processes