Up-to Techniques for Branching Bisimilarity (Q3297777): Difference between revisions

@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+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 general account of coinduction up-to
@@ Property / cites work: A general account of coinduction up-to / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bisimulation for coalgebras over order enriched monads
+Normal rank
@@ Property / cites work @@
+Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
+Normal rank
@@ Property / cites work @@
+Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
+Normal rank
@@ Property / cites work @@
+On cool congruence formats for weak bisimulations
@@ Property / cites work: On cool congruence formats for weak bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843725
@@ Property / cites work: Q2843725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+New up-to techniques for weak bisimulation
@@ Property / cites work: New up-to techniques for weak bisimulation / 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 @@
+Enhancements of the bisimulation proof method
@@ Property / cites work: Enhancements of the bisimulation proof method / 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 @@
+On the proof method for bisimulation
@@ Property / cites work: On the proof method for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank