The following pages link to A final coalgebra theorem (Q5096269):
Displaying 50 items.
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Transition systems from event structures revisited (Q293333) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- The graph conception of set (Q742483) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- Additions and corrections to ``Terminal coalgebras in well-founded set theory'' (Q1318731) (← links)
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Semantics for finite delay (Q1392281) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- A small final coalgebra theorem (Q1575951) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Extensional quotient coalgebras (Q1750071) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Isomorphism theorems for coalgebras (Q2272535) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Terminal coalgebras in well-founded set theory (Q2367542) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Rule Formats for Timed Processes (Q2841307) (← links)
- Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors (Q2842550) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Modal Predicates and Coequations (Q2842557) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- On Rational Monads and Free Iterative Theories (Q2842813) (← links)
- (Q3121518) (← links)
