Weighted Bisimulation in Linear Algebraic Form (Q3184672): Difference between revisions

@@ Property / author @@
-Michele Boreale
@@ Property / author: Michele Boreale / rank @@
-Normal rank
@@ Property / author @@
+Michele Boreale
@@ Property / author: Michele Boreale / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04081-8_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1555534061
@@ Property / OpenAlex ID: W1555534061 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact performance equivalence: An equivalence relation for stochastic automata
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798042
@@ Property / cites work: Q4798042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900997
@@ Property / cites work: Q3900997 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Noncommutative minimization algorithms
@@ Property / cites work: Noncommutative minimization algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693154
@@ Property / cites work: Q4693154 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / 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 @@
+Q4449540
@@ Property / cites work: Q4449540 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Rational streams coalgebraically
@@ Property / cites work: Rational streams coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449542
@@ Property / cites work: Q4449542 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic I/O Automata: Theories of Two Equivalences
+Normal rank
@@ Property / cites work @@
+Composition and behaviors of probabilistic I/O automata
+Normal rank