Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Actor modelAlgebraic semantics (computer science)Automata-based programming (Shalyto's approach)Behavior tree

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
This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs) and… 
2008
2008
Multiprocessor simulation using communicating sequential processes
To tackle the increasing complexity of capturing the design and subsequent simulation of multicore/multiprocessor systems, it may… 
2007
2007
PyCSP - Communicating Sequential Processes for Python
The Python programming language is effective for rapidly writing programs and experimenting with them. It is increasingly being… 
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… 
Review
2006
Review
2006
Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a… 
2005
2005
Addressing non-functional properties in software architectures using ADL
Architecture definition languages (ADLs) are used to specify high-level structural details of software systems. Many ADLs have… 
Highly Cited
2002
Highly Cited
2002
Application and Theory of Petri Nets 2002
Cyclic Communicating Processes: A Logical View . . . . . . . . . . . . . . . . .68 P. S. Thiagarajan Is the Die Cast for the… 
Highly Cited
2002
Highly Cited
2002
CSP Networking for Java (JCSP.net)
JCSP is a library of Java packages providing an extended version of the CSP/occam model for Communicating Processes. The current… 
2001
2001
The steam boiler in a unified theory of Z and CSP
This paper presents a formalisation of the steam boiler problem using Circus, a unified theory of the formal specification… 
1980
1980
Proof rules for Communicating Sequential Processes
This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for… 
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)