The following pages link to Simulations in coalgebra (Q703522):
Displaying 34 items.
- Relation lifting, a survey (Q299182) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Simulations in coalgebra (Q2843725) (← links)
- Simulations up-to and canonical preorders (extended abstract) (Q2871827) (← links)
- Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
- Coalgebraic Simulations and Congruences (Q2942779) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q5014802) (← links)
- (Q5028440) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5101351) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- (Q5754529) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)
