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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
An extension of classical noninterference security for deterministic state machines, as introduced by Goguen and Meseguer and… (More)
Is this relevant?
2005
2005
This paper defines a new denotational semantics for the language of Communicating Sequential Processes (CSP). The semantics lies… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
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… (More)
  • figure 1
  • figure 2
Is this relevant?
1984
1984
A simple definition of the axiomatic semantics of Communicating Sequential Processes is presented. The most important aspect of… (More)
Is this relevant?
Highly Cited
1981
Highly Cited
1981
Proof rules are presented for an extension of Hoare's Communicating Sequential Processes. The rules deal with total correctness… (More)
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… (More)
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… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1978
1978
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating… (More)
  • figure 2
Is this relevant?