Pages that link to "Item:Q820141"

The following pages link to Components as coalgebras: the refinement dimension (Q820141):

Displaying 5 items.

• A coalgebraic perspective on logical interpretations (Q368477) (← links)
• A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
• A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
• Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
• A calculus for generic, QoS-aware component composition (Q1949090) (← links)