The following pages link to Trace semantics for coalgebras (Q2847813):
Displaying 36 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)
- Coalgebraic trace semantics for continuous probabilistic transition systems (Q2871468) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693) (← links)
- Generic infinite traces and path-based coalgebraic temporal logics (Q2919451) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← 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)
- (Q4608676) (← links)
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves (Q5009440) (← links)
- (Q5028446) (← links)
- Coalgebraic Infinite Traces and Kleisli Simulations (Q5275359) (← links)
- Generic Trace Semantics via Coinduction (Q5453504) (← links)
- Algebra and Coalgebra in Computer Science (Q5492823) (← 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)
