Pages that link to "Item:Q751807"
From MaRDI portal
The following pages link to The fixed point theory of unbounded non-determinism (Q751807):
Displaying 9 items.
- There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations (Q286953) (← links)
- Fixed point equations with parameters in the projective model (Q580971) (← links)
- Fixed points without completeness (Q674192) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Infinitary parallelism without unbounded nondeterminism in CSP (Q1323355) (← links)
- The soundness and completeness of axioms for CSP processes (Q3975027) (← links)
- Classifying unbounded nondeterminism in CSP (Q3975028) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709371) (← links)
- Unbounded nondeterminism in CSP (Q5887514) (← links)