Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,475,342 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.
2008
2008
Multiprocessor simulation using communicating sequential processes
Pranav S. Vaidya
,
J. Lee
International Journal of Computer Aided…
2008
Corpus ID: 8127609
To tackle the increasing complexity of capturing the design and subsequent simulation of multicore/multiprocessor systems, it may…
Expand
2007
2007
Complex source point beam expansions for some electromagnetic radiation and scattering problems
K. Tap
2007
Corpus ID: 123205620
The complex source point (CSP) concept is utilized in this work to ef ciently treat a class of electromagnetic (EM) radiation and…
Expand
2007
2007
Modelling of Biochemical Reactions by Stochastic Automata Networks
V. Wolf
MeCBIC@ICALP
2007
Corpus ID: 9581574
2005
2005
Addressing non-functional properties in software architectures using ADL
Christopher van Eenoo
,
Osama Hylooz
,
K. Khan
2005
Corpus ID: 2559085
Architecture definition languages (ADLs) are used to specify high-level structural details of software systems. Many ADLs have…
Expand
Highly Cited
2002
Highly Cited
2002
Application and Theory of Petri Nets 2002
J. Esparza
,
C. Lakos
Lecture Notes in Computer Science
2002
Corpus ID: 20068122
Cyclic Communicating Processes: A Logical View . . . . . . . . . . . . . . . . .68 P. S. Thiagarajan Is the Die Cast for the…
Expand
Highly Cited
2002
Highly Cited
2002
CSP Networking for Java (JCSP.net)
P. Welch
,
Jo R. Aldous
,
Jon Foster
International Conference on Conceptual Structures
2002
Corpus ID: 42006905
JCSP is a library of Java packages providing an extended version of the CSP/occam model for Communicating Processes. The current…
Expand
1999
1999
The typing of communicating sequential processes
L. Wenjun
,
Zhou Xiao-cong
,
Li Shixian
1999
Corpus ID: 207981942
As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type…
Expand
1988
1988
CSP‐i: An implementation of communicating sequential processes
K. L. Wrench
Software, Practice & Experience
1988
Corpus ID: 7161264
Hoare's proposal for a notation for communicating sequential processes has led to the development of a number of concurrent…
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE