Operatori di Parallelismo

Questi operatori esprimono il parallelismo e la concorrenza. Nella pratica, il comportamento dei sistemi è molto spesso dovuto all'esecuzione in parallelo di molti processi che possono condizionare l'esecuzione degli altri. Quindi il sistema completo è formato da tante entità che eseguono azioni di mutua comunicazione.

Per riuscire a modellare tali sistemi concorrenti, Milner introdusse il primo operatore binario per l'esecuzione in parallelo di due processi. In seguito sono stati introdotti altri operatori che gestiscono la concorrenza in diversi modi.



Subsections

Morpheus 2004-02-10