Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,035,858 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
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
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
1989
1989
Deriving a protocol converter: a top-down method
K. Calvert
,
S. Lam
Conference on Applications, Technologies…
1989
Corpus ID: 17894994
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some…
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