Pages that link to "Item:Q854163"
From MaRDI portal
The following pages link to Transposing partial components--an exercise on coalgebraic refinement (Q854163):
Displaying 8 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Pre-Galois connection on coalgebras for generic component refinement (Q2873691) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)