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… 
2008
2008
To tackle the increasing complexity of capturing the design and subsequent simulation of multicore/multiprocessor systems, it may… 
2007
2007
The Python programming language is effective for rapidly writing programs and experimenting with them. It is increasingly being… 
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… 
1980
1980
This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for…