Pages that link to "Item:Q5313003"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5313003):
Displaying 9 items.
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Service refinement (Q954408) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- State-based components made generic (Q2843719) (← links)
- Pre-Galois connection on coalgebras for generic component refinement (Q2873691) (← links)
- State-bases approaches: from Z to Object-Z (Q2906939) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Deriving State-Based Implementations of Interactive Components with History Abstractions (Q3401943) (← links)