Pages that link to "Item:Q1583483"

The following pages link to Universal coalgebra: A theory of systems (Q1583483):

Displaying 50 items.

• Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
• A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves (Q5009440) (← links)
• (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
• (Q5009709) (← links)
• (Q5014445) (← links)
• (Q5014802) (← links)
• (Q5015356) (← links)
• (Q5028440) (← links)
• (Q5028446) (← links)
• Soundness Conditions for Big-Step Semantics (Q5041092) (← links)
• Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
• Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
• The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
• Bisimulation as a logical relation (Q5058364) (← links)
• Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
• (Q5087789) (← links)
• (Q5089293) (← links)
• (Q5094149) (← links)
• (Q5094151) (← links)
• (Q5101337) (← links)
• (Q5109521) (← links)
• (Q5109522) (← links)
• (Q5111636) (← links)
• Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
• (Q5155671) (← links)
• (Q5155676) (← links)
• Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)
• (Q5214815) (← links)
• Accessible set functors are universal (Q5218970) (← links)
• A coalgebraic view on reachability (Q5218979) (← links)
• Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
• A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting (Q5269005) (← links)
• Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes (Q5275352) (← links)
• AUTOMATA AND TREE AUTOMATA AS (F₁, F₂)-COALGEBRAS (Q5324145) (← links)
• Smooth coalgebra: testing vector analysis (Q5361142) (← links)
• Enhanced coalgebraic bisimulation (Q5361143) (← links)
• Bisimilarity is not Borel (Q5361144) (← links)
• Practical coinduction (Q5361147) (← links)
• WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551) (← links)
• Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
• Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
• Services and Contracts: Coalgebraically (Q5415620) (← links)
• Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
• (Co)Algebraic Characterizations of Signal Flow Graphs (Q5418958) (← links)
• A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
• Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
• Formal Methods in Software and Systems Modeling (Q5710413) (← links)