(in)finite trace equivalence of probabilistic transition systems (Q1798789): Difference between revisions

@@ Property / cites work @@
+Q5386174
@@ Property / cites work: Q5386174 / rank @@
+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 @@
+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 @@
+Q5111636
@@ Property / cites work: Q5111636 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Bisimulation in Linear Algebraic Form
@@ Property / cites work: Weighted Bisimulation in Linear Algebraic Form / rank @@
+Normal rank
@@ Property / cites work @@
+From Branching to Linear Time, Coalgebraically
@@ Property / cites work: From Branching to Linear Time, Coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
+Normal rank
@@ Property / cites work @@
+Probability theory. A comprehensive course.
@@ Property / cites work: Probability theory. A comprehensive course. / 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 @@
+Generalizing determinization from automata to coalgebras
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic systems coalgebraically: a survey
@@ Property / cites work: Probabilistic systems coalgebraically: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Infinite Traces and Kleisli Simulations
+Normal rank