Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,935,568 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
Directed Model Checking for B: An Evaluation and New Techniques
M. Leuschel
,
J. Bendisposto
Brazilian Symposium on Formal Methods
2010
Corpus ID: 18722640
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first…
Expand
1999
1999
Software synthesis for system level design using process execution trees
L. V. Bokhoven
,
J. Voeten
,
M. Geilen
Proceedings 25th EUROMICRO Conference…
1999
Corpus ID: 14922304
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application…
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
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
1987
1987
Extensions to communicating sequential processes to allow protocol performance specification
J. Zic
Conference on Applications, Technologies…
1987
Corpus ID: 675491
Formalisms based on Hoare's Communicating Sequential Processes (CSP) and Milner's Calculus of Communicating Systems (CCS) for…
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
1982
1982
Dynamic systems and their distributed termination
Shimon Cohen
,
D. Lehmann
ACM SIGACT-SIGOPS Symposium on Principles of…
1982
Corpus ID: 33220468
This paper describes a new model for dynamic distributed systems, where new processes are added and terminated at execution time…
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