Pages that link to "Item:Q1350502"

The following pages link to A relation algebraic model of robust correctness (Q1350502):

Displaying 5 items.

• Fixpoints for general correctness (Q549677) (← links)
• Imperative abstractions for functional actions (Q604455) (← links)
• Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
• Relational Semantics Revisited (Q2810687) (← links)
• Unifying Lazy and Strict Computations (Q2915133) (← links)