In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is...
45 KB (6,476 words) - 15:14, 30 June 2025
on the Calculus of Communicating Systems (CCS) during the period from 1973 to 1980. C.A.R. Hoare's Communicating Sequential Processes (CSP) first appeared...
19 KB (2,452 words) - 02:40, 28 July 2025
introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra...
27 KB (2,222 words) - 04:11, 21 July 2025
programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, and shares many of its features. It is named...
11 KB (1,097 words) - 21:20, 30 July 2025
Concurrent computing (redirect from Sequential programming)
Beginning in the late 1970s, process calculi such as Calculus of Communicating Systems (CCS) and Communicating Sequential Processes (CSP) were developed to...
29 KB (3,004 words) - 17:17, 16 April 2025
book Process Interaction Models is the Ease language specification. Ease combines the process constructs of communicating sequential processes (CSP)...
5 KB (472 words) - 03:29, 31 July 2024
concurrency theory, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir...
4 KB (277 words) - 01:33, 31 May 2025
JCSP is an implementation of communicating sequential processes (CSP) for the programming language Java. Although CSP is a mathematical system, JCSP does...
7 KB (873 words) - 12:05, 12 May 2025
Rendezvous (Plan 9) (category Inter-process communication)
operation. See also mutual exclusion. Synchronous rendezvous Communicating sequential processes Pike, Rob; Presotto, Dave; Dorward, Sean; Flandrena, Bob;...
2 KB (151 words) - 17:18, 30 April 2023
main and a renderer process Computer programming portal Berkeley sockets Computer network programming Communicating Sequential Processes (CSP paradigm) Data...
12 KB (722 words) - 17:53, 18 July 2025
ready. The Communicating sequential processes (CSP) formalisation of message passing uses synchronous communication channels to connect processes, and led...
12 KB (1,200 words) - 11:34, 5 June 2025
The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical...
10 KB (1,754 words) - 21:23, 20 August 2024
P_{1}{\backslash }a} is the process P 1 {\displaystyle P_{1}} without action a {\displaystyle a} Communicating sequential processes (CSP), developed by Tony...
6 KB (785 words) - 17:41, 15 October 2024
in Mauritania The Unique Fixed Point rule in the theory of communicating sequential processes United Federal Party, a former political party of Southern...
948 bytes (160 words) - 19:05, 12 June 2025
Calculus of broadcasting systems (category Process calculi)
Alternating bit protocol Bisimulation Calculus of communicating systems (CCS) Communicating sequential processes (CSP) Pi-calculus K. V. S. Prasad: A Calculus...
2 KB (269 words) - 07:20, 25 March 2020
Communication protocol (section Communicating systems)
study of concurrency and communication is referred to as communicating sequential processes (CSP). Concurrency can also be modeled using finite-state...
64 KB (8,182 words) - 03:50, 2 August 2025
Producer–consumer problem (redirect from Cooperating sequential processes)
Structuring Concept, 4. Example: Bounded Buffer Hoare; 1978; Communicating Sequential Processes, 7.3 Port Names A tour of Go, Channels Lamport, Leslie; 1977;...
17 KB (2,183 words) - 06:50, 21 June 2025
alternative channel inputs) are derived from Tony Hoare's communicating sequential processes model. Unlike previous concurrent programming languages such...
78 KB (8,129 words) - 07:33, 25 July 2025
Limbo's approach to concurrency was inspired by Hoare's communicating sequential processes (CSP), as implemented and amended in Pike's earlier Newsqueak...
7 KB (485 words) - 06:13, 28 April 2025
composing sequential processes. His work differed from the actor model because it was based on a fixed number of processes of fixed topology communicating numbers...
81 KB (7,145 words) - 15:49, 22 June 2025
Kahn process network (KPN, or process network) is a distributed model of computation in which a group of deterministic sequential processes communicate through...
11 KB (1,457 words) - 02:42, 26 May 2025
simple synchronous channels do not suffice for process calculi such as Communicating Sequential Processes (CSP) [Hoare 1978 and 1985] because use of the...
25 KB (3,252 words) - 17:30, 20 July 2025
VerilogCSP is a set of macros added to Verilog HDL to support Communicating Sequential Processes (CSP) channel communications. These macros are intended to...
1 KB (93 words) - 05:54, 22 November 2022
A. R. Hoare's communicating sequential processes (CSP). However, in Newsqueak, channels are first-class objects, with dynamic process creation and dynamic...
4 KB (282 words) - 00:15, 7 December 2024
systems with processes that basically interact synchronously. An example would be systems based on the Communicating sequential processes (CSP) model,...
6 KB (658 words) - 19:55, 23 June 2025
using the programming language occam, based on the communicating sequential processes (CSP) process calculus. The transputer was built to run Occam specifically...
45 KB (5,838 words) - 13:34, 12 May 2025
not based on sequential processes. His work differed from the Actor model in the following ways: There are a fixed number of processes as opposed to...
18 KB (2,420 words) - 00:55, 29 July 2023
Thread (computing) (section Processes)
hardware). Computer programming portal Clone (Linux system call) Communicating sequential processes Computer multitasking Multi-core (computing) Multithreading...
33 KB (4,052 words) - 10:50, 19 July 2025
calculi, such as CSP the language of communicating sequential processes, or CCS, the calculus of communicating systems. History monoids were first presented...
8 KB (1,417 words) - 22:16, 19 July 2023
[originally published in 1985 by Prentice Hall International]. "Communicating Sequential Processes" (PDF). usingcsp.com. Tanenbaum, Andrew S. (2006), Operating...
21 KB (2,733 words) - 05:06, 17 July 2025