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 Milner's CCS is discussed.
Author supplied keywords
- Abstraction from internal activity
- Automaton
- CCS
- COSY
- CSP
- Communication
- Deadlock
- Divergence
- Failure equivalence
- Full abstraction
- Hiding
- Labelled transition system
- Linear history
- Nondeterminism
- Observational equivalence
- Operational and denotational semantics
- Parallelism
- Process
- Recursion
- Refusal set
- Strong bisimulation
- Synchronization
- TCSP
Cite
CITATION STYLE
Olderog, E. R. (1987). TCSP: Theory of communicating sequential processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 255 LNCS, pp. 442–465). Springer Verlag. https://doi.org/10.1007/3-540-17906-2_34
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
