Journal Title
Title of Journal:
|
|
|
Publisher
Springer, Berlin, Heidelberg
|
|
|
|
|
|
Authors: ErnstRüdiger Olderog
Publish Date: 1986/9/8
Volume: , Issue: , Pages: 441-465
Abstract
The operators and failure semantics of TCSP the Theory of Communicating Sequential Processes initiated by Brookes Hoare and Roscoe are explained The operators are viewed as devices for structuring nondeterministic machines and the failure semantics as a mechanism for abstracting from internal process activity A new full abstraction result for failure semantics is stated The relationship to the COSY formalism of Lauer et al and Milners CCS is discussed
Keywords:
.
|
Other Papers In This Journal:
|