The following pages link to (Q2847813):
Displaying 27 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Lattices do not distribute over powerset (Q2200477) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum (Q3184736) (← links)
- On the Unification of Process Semantics: Observational Semantics (Q3599079) (← links)
- (Q4585069) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5009440) (← links)
- (Q5028446) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- (Q5875398) (← links)
- The Power-Set Construction for Tree Algebras (Q6178675) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)
