Parallelismo e funzionalità del software

Un rapido esame delle implicazioni della modularità nei sistemi software evidenzia la necessita del parallelismo al piu fine livello esecutivo, e quindi dello studio dei suoi effetti sulle proprieta dei programmi. L'effetto piu evidente e la non-funzionalita, ossia la dipendenza dei risultati dalle velocità reciproche con cui sono espletati i vari segmenti paralleli. Adottando la rappresentazione propria degli schemi di elaborazione, si ricavano le condizioni necessarie e sufficienti alla determinatezza e funzionalita dei programmi.