Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,063,814 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
2012
2012
Exception Handling in Communicating Sequential Processes
M. Larsen
2012
Corpus ID: 61603603
Exceptions can occur in all software, however, to be reliable, a program should be able to handle it. Exception handling has been…
Expand
2010
2010
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System
Jieqi Ding
,
Han Zhu
,
Huibiao Zhu
,
Qin Li
17th IEEE International Conference and Workshops…
2010
Corpus ID: 18527320
Competitions of shared web resources have been widely concerned today. Under the circumstances of networks, especially in…
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
1992
1992
A proof theory for asynchronously communicating real-time systems
P. Zou
,
J. Hooman
[] Proceedings Real-Time Systems Symposium
1992
Corpus ID: 40982114
A compositional proof system is presented to axiomatize the real-time behavior of asynchronously communicating processes…
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
,
Monika 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