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 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)

  1. Computer science bibliography
  2. Computer science
  3.  Home

 Incoming links (2)

  • CSP failures semantics
  • CSP refusal set

 View article source

 Discussion (0) 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
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook