Pages that link to "Item:Q2888477"
From MaRDI portal
The following pages link to Coalgebraic Components in a Many-Sorted Microcosm (Q2888477):
Displaying 10 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← 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)
- Combinatorial models for coalgebraic structures (Q1272792) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)