Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Communicating sequential processes

Known as: CSP 
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
  • A. Murano
  • Encyclopedia of Parallel Computing
  • 2009
  • Corpus ID: 35882138
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
  • figure 1
  • table 1
Is this relevant?
Highly Cited
1985
Highly Cited
1985
 
Is this relevant?
Highly Cited
1984
Highly Cited
1984
A mathematical model for communicating sequential processes isgiven, and a number of its interesting and useful properties… Expand
  • figure 1
  • figure 2
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
  • C. Hoare
  • On the Construction of Programs
  • 1980
  • Corpus ID: 44518465
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
  • figure 2
  • figure 3
  • figure 4
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
  • figure 2
Is this relevant?