Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Communicating sequential processes
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
sequential process communication channel • single thread of control • autonomous • encapsulated • named • static • synchronous… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
This paper starts with the project of finding a large subclass of NP which exhibits a dichotomy. The approach is to find this… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The parallel language CSP [9], an earlier version of which was described in [7], has become a major tool for the analysis of… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1984
Highly Cited
1984
A mathematical model for communicating sequential processes isgiven, and a number of its interesting and useful properties… Expand
Is this relevant?
Highly Cited
1983
Highly Cited
1983
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
An axiomatic proof system is presented for proving partial correctness and absence of deadlock (and failure) of communicating… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
This thesis describes tile construction and mathematical properties of a model for communicating sequential processes. We define… Expand
Is this relevant?
1979
1979
In his recent paper, “Communicating Sequential Processes” (Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a… Expand
Is this relevant?
Highly Cited
1978
Highly Cited
1978
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating… Expand
Is this relevant?