Pages that link to "Item:Q2888477"
From MaRDI portal
The following pages link to Coalgebraic Components in a Many-Sorted Microcosm (Q2888477):
Displaying 6 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
