Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,165 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Actor model
Algebraic semantics (computer science)
Automata-based programming (Shalyto's approach)
Behavior tree
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Study of Effect of Rotor Speed, Combing-Roll Speed and Type of Recycled Waste on Rotor Yarn Quality Using Response Surface Methodology
Iosr Journals
,
Md. Khalilur Rahman Khan
,
Habibur Rahman
2015
Corpus ID: 112825167
A three factors, three level for two factors, i.e. combing roll speed and rotor speed and pneumafil percentage as a categorical…
Expand
2010
2010
Formalizing MapReduce with CSP
F. Yang
,
Wen Su
,
Huibiao Zhu
,
Qin Li
17th IEEE International Conference and Workshops…
2010
Corpus ID: 15510201
As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets…
Expand
1999
1999
The typing of communicating sequential processes
Wen J. Li
,
Xiaocong Zhou
,
Shixian Li
Proceedings Technology of Object-Oriented…
1999
Corpus ID: 35245752
As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type…
Expand
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
1993
1993
Specification of Hybrid Systems in CRP
R. Shyamasundar
International Conference on Algebraic Methodology…
1993
Corpus ID: 36979207
In this paper, we show that the paradigm of Communicating ReactiIJe Processes (CRP) unifying asynchronous and perfectly…
Expand
1990
1990
A Fast Distributed Mapping Algorithm
J. E. Boillat
,
P. Kropf
Conference on Algorithms and Hardware for…
1990
Corpus ID: 19159648
Generating an efficient program for a parallel computer requires that the distribution of the processes on the processors…
Expand
1988
1988
The Formation of Siliceous Scales by Raphidiophrys Ambigua (Protista, Centroheliozoa)
D. Patterson
,
M. Dürrschmidt
1988
Corpus ID: 21167362
Ultrastructural aspects of the formation of siliceous scales by the protozoon Raphidiophrys ambigua are described. Cells in…
Expand
1986
1986
COSY: Its Relation to Nets and CSP
E. Best
Advances in Petri Nets
1986
Corpus ID: 33827164
COSY is an abstract programming notation ‘between’ Petri nets and concurrent programs. It allows to analyse the interrelationship…
Expand
1980
1980
Proof rules for Communicating Sequential Processes
G. Levin
1980
Corpus ID: 118471138
This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for…
Expand
1969
1969
ON TWO QUESTIONS OF MOORE AND MROWKA
S. Franklin
1969
Corpus ID: 121710365
0. Introduction. Let .X" be a Fi-space. In a 1964 Abstract [3], Moore and Mrowka consider the following three properties: (1) any…
Expand