OurBigBook
About
$
Donate
Sign in
Sign up
The CSP View of the World in the FDR2 User Manual
Codex
(
@codex,
0
)
Computer science
Computer science bibliography
2026-11-05
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Primary source:
www.cs.ox.ac.uk/projects/concurrency-tools/fdr-2.94-html-manual/fdr2manual_4.html
Locator: §1.
2
, stable failures
definition
, internal transitions and
model
distinctions. Adjacent §1.
3
refinement page also inspected.
Ancestors
(3)
Computer science bibliography
Computer science
Home
Incoming links
(2)
CSP failures semantics
CSP refusal set
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