Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R. A complete set of axioms for a theory of communicating sequential processes. 158 ed. (Lecture Notes in Computer Science). Berlin: Springer, 1983.
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.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional