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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs) and… 
2007
2007
  • 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
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a… 
2005
2005
Architecture definition languages (ADLs) are used to specify high-level structural details of software systems. Many ADLs have… 
Highly Cited
2002
Highly Cited
2002
Cyclic Communicating Processes: A Logical View . . . . . . . . . . . . . . . . .68 P. S. Thiagarajan Is the Die Cast for the… 
Highly Cited
2002
Highly Cited
2002
JCSP is a library of Java packages providing an extended version of the CSP/occam model for Communicating Processes. The current… 
2001
2001
This paper presents a formalisation of the steam boiler problem using Circus, a unified theory of the formal specification… 
1999
1999
As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type… 
1989
1989
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some… 
1980
1980
This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for…