OurBigBook
About
$
Donate
Sign in
Sign up
CSP exception
(
P
Θ
A
Q
)
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
Behave
as
P
until it performs
a
visible
CSP event
in
A
, then
switch
to
Q
. The triggering
event
is included in the visible
CSP trace
.
Ancestors
(6)
CSP process
Communicating sequential processes
Process algebra
Concurrent computing
Computer science
Home
Incoming links
(1)
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
1
/
c
/
Solution
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