Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displaying 50 items.
- Extensional quotient coalgebras (Q1750071) (← 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)
- Duality for some categories of coalgebras. (Q1771881) (← links)
- Continuous normalization for the lambda-calculus and Gödel's T (Q1772771) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← 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)
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- Problems of constructing intelligent systems. Intelligent modeling (Q2044055) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Stick breaking, in coalgebra and probability (Q2104486) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Free-lattice functors weakly preserve epi-pullbacks (Q2136297) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- On induction principles for partial orders (Q2169127) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
