The characteristics of activation and termination of processes and of nondeterminism in interprocess communication are discussed in this paper with respect to some local environment languages for concurrent programming. As in a companion paper /5/, of which this work represents the logical continuation, we have discussed these characteristics mainly referring to two models: the Hoare's Communicating Sequential Processes (CSP) and the Brinch Hansen's Distributed Processes (DP). Moreover, several outcomes of this analysis have been employed for a deep understanding and a critical view of nondeterminism and of activation and termination in the tasking feature of the Ada* language.
nessun sommario disponibile
Modelli ad ambiente locale per la cooperazione tra processi: nondeterminismo, attivazione, e terminazione
Fantechi A;
1984
Abstract
The characteristics of activation and termination of processes and of nondeterminism in interprocess communication are discussed in this paper with respect to some local environment languages for concurrent programming. As in a companion paper /5/, of which this work represents the logical continuation, we have discussed these characteristics mainly referring to two models: the Hoare's Communicating Sequential Processes (CSP) and the Brinch Hansen's Distributed Processes (DP). Moreover, several outcomes of this analysis have been employed for a deep understanding and a critical view of nondeterminism and of activation and termination in the tasking feature of the Ada* language.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420616-doc_149143.pdf
solo utenti autorizzati
Descrizione: Modelli ad ambiente locale per la cooperazione tra processi: nondeterminismo, attivazione, e terminazione
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.46 MB
Formato
Adobe PDF
|
2.46 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
