Linguaggio per un ambiente di programmazione Data-Flow like

Viene presentata una ossatura di linguaggio la cui strutturazione consente di ottenere un ambiente di programmazione ad alto parallelismo e robusto; ambente che viene poi arricchito inserendo nel linguaggio costrutti per gestire non-determinismo e permettendo di eseguire computazioni con stato. Per favorire il parallelismo e la velocità del sistema viene abbandonato il modello computazionale tradizionalmente usato: il modello Control-Flow, cioé con flusso di controllo guidato dal programma; e si ricorre al modello computazionale col flusso di controllo guidato dai dati: il Data-Flow. Il non-determinismo viene espresso tramite la definizione di costrutti che si rifanno ai programmi con guardia di Dijkstra e le computazioni con stato, le cosiddette history sensitive computations, sono esprimibili per il fatto che viene consentito al grafo che le rappresenta di avere cicli.