Pages that link to "Item:Q5313094"
From MaRDI portal
The following pages link to Mathematics of Program Construction (Q5313094):
Displaying 5 items.
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- An Exercise on Transition Systems (Q2873687) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)