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.
1983
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Axioms
Theory of communicating sequential processes
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/405850
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact