Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- A coalgebraic approach to Kleene algebra with tests (Q703519) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Stone coalgebras (Q703523) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- The intersection of algebra and coalgebra (Q860879) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- On minimal coalgebras (Q934670) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Copower functors (Q1006640) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- System theory for system identification. (Q1421324) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- CSP, partial automata, and coalgebras. (Q1603814) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- The continuum as a final coalgebra (Q1603817) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Continuous normalization for the lambda-calculus and Gödel's T (Q1772771) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Confluence of the coinductive \(\lambda\)-calculus (Q1884931) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- The Burnside algebra of a quasigroup. (Q1887599) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)