Up-to techniques for behavioural metrics via fibrations (Q6190392): Difference between revisions

@@ Property / DOI @@
-.1017/s0960129523000166
@@ Property / DOI: 10.1017/s0960129523000166 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129523000166
+Normal rank
@@ Property / OpenAlex ID @@
+W2810951232
@@ Property / OpenAlex ID: W2810951232 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Behavioral Distances, Compositionally
@@ Property / cites work: Computing Behavioral Distances, Compositionally / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary Functors: From Set to Preord and Poset
@@ Property / cites work: Finitary Functors: From Set to Preord and Poset / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral Metrics via Functor Lifting
@@ Property / cites work: Behavioral Metrics via Functor Lifting / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Trace Metrics via Functor Lifting
@@ Property / cites work: Towards Trace Metrics via Functor Lifting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4683862
@@ Property / cites work: Q4683862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089290
@@ Property / cites work: Q5089290 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Friends with Benefits
@@ Property / cites work: Friends with Benefits / rank @@
+Normal rank
@@ Property / cites work @@
+Sound up-to techniques and Complete abstract domains
+Normal rank
@@ Property / cites work @@
+Up-To Techniques for Weighted Systems
@@ Property / cites work: Up-To Techniques for Weighted Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction up-to in a fibrational setting
@@ Property / cites work: Coinduction up-to in a fibrational setting / rank @@
+Normal rank
@@ Property / cites work @@
+A general account of coinduction up-to
@@ Property / cites work: A general account of coinduction up-to / rank @@
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Generalized Bisimulation Metrics
@@ Property / cites work: Generalized Bisimulation Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608688
@@ Property / cites work: Q4608688 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Metric Reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Generic weakest precondition semantics from monads enriched with order
+Normal rank
@@ Property / cites work @@
+Topological theories and closed objects
@@ Property / cites work: Topological theories and closed objects / rank @@
+Normal rank
@@ Property / cites work @@
+Hausdorff coalgebras
@@ Property / cites work: Hausdorff coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275349
@@ Property / cites work: Q5275349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Q4551182
@@ Property / cites work: Q4551182 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Algebraic Reasoning
@@ Property / cites work: Quantitative Algebraic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Gromov-Wasserstein distances and the metric approach to object matching
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and Quantitative Equational Theories for Nondeterminism and Probability
+Normal rank
@@ Property / cites work @@
+Complete Lattices and Up-To Techniques
@@ Property / cites work: Complete Lattices and Up-To Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction All the Way Up
@@ Property / cites work: Coinduction All the Way Up / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and coinduction enhancements: a historical perspective
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank
@@ Property / cites work @@
+Fibrational bisimulations and quantitative reasoning: Extended version
+Normal rank
@@ Property / cites work @@
+Fibrational bisimulations and quantitative reasoning
+Normal rank
@@ Property / cites work @@
+Compositional bisimulation metric reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Optimal Transport
@@ Property / cites work: Optimal Transport / rank @@
+Normal rank
@@ Property / cites work @@
+Q5094149
@@ Property / cites work: Q5094149 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/S0960129523000166
@@ Property / DOI: 10.1017/S0960129523000166 / rank @@
+Normal rank