The main point of this paper is that one can develop an adequate version of CCS which does not use the special combinator ? for internal actions. Instead, the choice operator +, whose semantics is somewhat unclear, is replaced by two new choice operators ? and [], representing internal and external nondeterminism respectively. The operational semantics of the resulting language is simpler and the definition of testing preorders is significantly cleaner. The essential features of the originai calculus are kept; this is shown by defining a translation from CCS to the new language which preserves testing preorders.

CCS without T'S

De Nicola R;
1987

Abstract

The main point of this paper is that one can develop an adequate version of CCS which does not use the special combinator ? for internal actions. Instead, the choice operator +, whose semantics is somewhat unclear, is replaced by two new choice operators ? and [], representing internal and external nondeterminism respectively. The operational semantics of the resulting language is simpler and the definition of testing preorders is significantly cleaner. The essential features of the originai calculus are kept; this is shown by defining a translation from CCS to the new language which preserves testing preorders.
1987
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
3-540-17660-8
CCS
File in questo prodotto:
File Dimensione Formato  
prod_419673-doc_148409.pdf

solo utenti autorizzati

Descrizione: CCS without T'S
Tipologia: Versione Editoriale (PDF)
Dimensione 1.96 MB
Formato Adobe PDF
1.96 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.

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