Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,733,621 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
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
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
2001
2001
Liveness and Fairness in Process-Algebraic Verification
Antti Puhakka
,
A. Valmari
International Conference on Concurrency Theory
2001
Corpus ID: 11677184
Although liveness and fairness have been used for a long time in classical model checking, with process-algebraic methods they…
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
1983
1983
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives
P. Wegner
,
S. Smolka
IEEE Transactions on Software Engineering
1983
Corpus ID: 18363466
Three notations for concurrent programming are compared, namely CSP, Ada, and monitors. CSP is an experimental language for…
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