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 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)
- Extensional quotient coalgebras (Q1750071) (← links)