Pages that link to "Item:Q1583483"

The following pages link to Universal coalgebra: A theory of systems (Q1583483):

Displaying 50 items.

• Stone coalgebras (Q703523) (← links)
• On the computational complexity of bisimulation, redux (Q703845) (← links)
• A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
• A compositional treatment of iterated open games (Q724937) (← links)
• Refinement patterns for ASTDs (Q736838) (← links)
• Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
• The graph conception of set (Q742483) (← links)
• Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
• Components as coalgebras: the refinement dimension (Q820141) (← links)
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← 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)
• Algebraic-coalgebraic recursion theory of history-dependent dynamical system models (Q890381) (← links)
• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
• Proving language inclusion and equivalence by coinduction (Q899321) (← links)
• On minimal coalgebras (Q934670) (← links)
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
• A coinductive calculus of binary trees (Q964505) (← links)
• Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
• Copower functors (Q1006640) (← links)
• Separation of clones of cooperations by cohyperidentities (Q1011714) (← links)
• Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
• Coinduction for exact real number computation (Q1015372) (← links)
• Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
• A logic of implications in algebra and coalgebra (Q1047097) (← 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)
• A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
• Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
• Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
• Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)