TY  - CHAP
A1  - De Nicola, Rocco
A1  - Hennessy, Matthew
T2  - TAPSOFT '87, Vol.1
T3  - Lecture Notes in Computer Science
SP  - 138
PB  - Springer
EP  - 152
UR  - http://dx.doi.org/10.1007/3-540-17660-8_53
ID  - eprints385
TI  - CCS without tau's
AV  - none
Y1  - 1987///
SN  - 3-540-17660-8
N2  - The main point of this paper is that one can develop an adequate version of CCS which does not use the special combinator tau for internal actions. Instead, the choice operator +, whose semantics is somewhat unclear, is replaced by two new choice operators oplus 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 original calculus are kept; this is shown by defining a translation from CCS to the new language which preserves testing preorders.
ED  - Ehrig, Hartmut
ED  - A. Kowalski, Robert
ED  - Levi, Giorgio
ED  - Montanari, Ugo
M1  - 249
ER  -