Abstracción

Un programa concurrente se puede ver como un conjunto de

• procesos que consisten en secuencias de instrucciones atómicas
• cuyo tiempo de ejecución es indivisible y finito y
• hasta que no se quiera hacer una estimación del tiempo real no se asume nada sobre dicho tiempo finito y, finalmente,
• no se puede asumir de antemano ninguna información sobre el tiempo de ejecución de un proceso relativo respeto a otros procesos

Desde el punto de vista abstracto no importa si los procesos se ejecutan en unidades independientes o si algún planificador distribuye los procesos multiplexando un solo procesador. De todas maneras, las características del planificador del sistema no tienen por que ser conocidas por el programador.