Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Hennessy M. CCS without T'S. In: TAPSOFT '87 - The International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, march 1987). Proceedings, vol. 1 pp. 138 - 152. (Lecture Notes in Computer Science, vol. 249). Springer, 1987.
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.
Subject CCS

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