Aspectos declarativos de la programación multinúcleo