PUMA
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.
 
 
Abstract
(English)
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.
Subject


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