Enhanced coalgebraic bisimulation (Q5361143): Difference between revisions

@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457308
@@ Property / cites work: Q4457308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+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 @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Presenting Distributive Laws
@@ Property / cites work: Presenting Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798042
@@ Property / cites work: Q4798042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
+Normal rank
@@ Property / cites work @@
+Simulations and Bisimulations for Coalgebraic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4499310
@@ Property / cites work: Q4499310 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-labeled transition systems
@@ Property / cites work: Monoid-labeled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Q4256307
@@ Property / cites work: Q4256307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity Quotients as Final Coalgebras
@@ Property / cites work: Similarity Quotients as Final Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863897
@@ Property / cites work: Q2863897 / rank @@
+Normal rank
@@ Property / cites work @@
+Lax Extensions of Coalgebra Functors
@@ Property / cites work: Lax Extensions of Coalgebra Functors / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+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 @@
+Enhancements of the bisimulation proof method
@@ Property / cites work: Enhancements of the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Bisimulation-Up-To
@@ Property / cites work: Coalgebraic Bisimulation-Up-To / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Proof Techniques for Language Equivalence
+Normal rank
@@ Property / cites work @@
+Q4222961
@@ Property / cites work: Q4222961 / rank @@
+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 @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / 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 @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Relating coalgebraic notions of bisimulation
@@ Property / cites work: Relating coalgebraic notions of bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900996
@@ Property / cites work: Q3900996 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Free Languages, Coalgebraically
@@ Property / cites work: Context-Free Languages, Coalgebraically / rank @@
+Normal rank