Pages that link to "Item:Q5458363"
From MaRDI portal
The following pages link to The Microcosm Principle and Concurrency in Coalgebra (Q5458363):
Displayed 10 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Multigames and strategies, coalgebraically (Q890378) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- A Rule Format for Associativity (Q3541037) (← links)