Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,768,698 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.
Highly Cited
2016
Highly Cited
2016
A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems
P. Sitek
,
J. Wikarek
Scientific Programming
2016
Corpus ID: 28786623
This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs) and…
Expand
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
PyCSP - Communicating Sequential Processes for Python
J. Bjørndalen
,
B. Vinter
,
Otto J. Anshus
Communicating Process Architectures Conference
2007
Corpus ID: 73662537
The Python programming language is effective for rapidly writing programs and experimenting with them. It is increasingly being…
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
Review
2006
Review
2006
Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions
Sen Xu
,
Chin-Tser Huang
International Symposium on Wireless Communication…
2006
Corpus ID: 12695083
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a…
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
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
2001
2001
The steam boiler in a unified theory of Z and CSP
J. Woodcock
,
Ana Cavalcanti
Proceedings Eighth Asia-Pacific Software…
2001
Corpus ID: 14649634
This paper presents a formalisation of the steam boiler problem using Circus, a unified theory of the formal specification…
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