In an abstract varsion of Hoare's CSP is defined and a denotational semantics based on the possible fallures of processes is given for it. This semantics induces a natural proorder on processes. We define formally this proorder and prova that it can be characterized as the smallest relation satisfying a particular set of axioms. The characterization will shed lights on problems arising from the way divergence and underspecification are handled.
A complete set of axioms for a theory of communicating sequential processes
De Nicola R
1983
Abstract
In an abstract varsion of Hoare's CSP is defined and a denotational semantics based on the possible fallures of processes is given for it. This semantics induces a natural proorder on processes. We define formally this proorder and prova that it can be characterized as the smallest relation satisfying a particular set of axioms. The characterization will shed lights on problems arising from the way divergence and underspecification are handled.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_420969-doc_149331.pdf
solo utenti autorizzati
Descrizione: A complete set of axioms for a theory of communicating sequential processes
Tipologia:
Versione Editoriale (PDF)
Dimensione
630.38 kB
Formato
Adobe PDF
|
630.38 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.