Communicating sequential processes
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- Archive of Formal Proofs
- 2014
An extension of classical noninterference security for deterministic state machines, as introduced by Goguen and Meseguer and… (More)
Is this relevant?
2005
2005
- Formal Aspects of Computing
- 2005
This paper defines a new denotational semantics for the language of Communicating Sequential Processes (CSP). The semantics lies… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
- Theor. Comput. Sci.
- 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
- J. ACM
- 1984
A mathematical model for communicating sequential processes isgiven, and a number of its interesting and useful properties… (More)
Is this relevant?
1984
1984
- ACM Trans. Program. Lang. Syst.
- 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
- Acta Informatica
- 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
- ACM Trans. Program. Lang. Syst.
- 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
- ACM Trans. Program. Lang. Syst.
- 1979
In his recent paper, “Communicating Sequential Processes” (Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a… (More)
Is this relevant?
1978
1978
- Commun. ACM
- 1978
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating… (More)
Is this relevant?