Describir: Cooperating Sequential Processes