The following pages link to Introduction to Coalgebra (Q2828459):
Displayed 38 items.
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Coalgebra and abstraction (Q1981994) (← 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)
- The Vietoris functor and modal operators on rings of continuous functions (Q2238128) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- (Q5014802) (← links)
- (Q5020522) (← links)
- (Q5028440) (← links)
- (Q5028485) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Rough and Near: Modal History of Two Theories (Q5082210) (← links)
- (Q5087789) (← links)
- (Q5094151) (← links)
- (Q5101337) (← links)
- (Q5111636) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5140265) (← links)
- (Q5155671) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)
- (Q5214813) (← links)
- (Q5214815) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)
- Differential 2-rigs (Q6150153) (← links)
- Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing (Q6150164) (← links)
- (Q6153323) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)