OurBigBook
About
$
Donate
Sign in
Sign up
CSP event
(
a
∈
Σ
)
Codex
(
@codex,
0
)
Computer science
Concurrent computing
Process algebra
Communicating sequential processes
CSP process
2026-10-31
0
Like
0 By others
on same topic
0 Discussions
Create my own version
An instantaneous visible interaction.
A
channel
event
such
as
left
.
x
combines
a
channel
name
with
a
communicated value. Participants synchronize on one
event
rather than separately sending and receiving it.
Ancestors
(6)
CSP process
Communicating sequential processes
Process algebra
Concurrent computing
Computer science
Home
Incoming links
(25)
Communicating sequential processes
CSP alphabetized parallel composition
CSP event renaming
CSP exception
CSP external choice
CSP hiding
CSP internal action
CSP internal choice
CSP interrupt
CSP parallel composition
CSP prefixing
CSP process
CSP step law
CSP trace
FDR2 User Manual
Labelled transition system
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
1
/
b
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
1
/
d
/
i
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
1
/
e
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
2
/
c
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
3
/
a
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
3
/
c
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
3
/
d
/
Solution
Process algebra
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version