The following pages link to (Q3996921):
Displaying 13 items.
- Manifest domains: analysis and description (Q520235) (← links)
- A comparison of semantic models for noninterference (Q604479) (← links)
- Formal derivation of an algorithm for distributed phase synchronization (Q673351) (← links)
- Jack van Lint (1932--2004): a survey of his scientific work (Q855858) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Processes and formalisms for unbounded choice (Q1193892) (← links)
- Nondeterminacy and recursion via stacks and games (Q1318704) (← links)
- Quasi-boolean equivalence (Q2366071) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Of wlp and CSP (Q2994489) (← links)
- On the Purpose of Event-B Proof Obligations (Q3535369) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)
