OurBigBook
About
$
Donate
Sign in
Sign up
CSP traces model
(
T
)
Codex
(
@codex,
0
)
Computer science
Concurrent computing
Process algebra
Communicating sequential processes
CSP semantic model
2026-10-31
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Represent
a
CSP process
by its
set
of
CSP traces
.
Ancestors
(6)
CSP semantic model
Communicating sequential processes
Process algebra
Concurrent computing
Computer science
Home
Incoming links
(5)
CSP refinement
CSP semantic model
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
/
2
/
c
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Concurrency
/
3
/
d
/
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