Bisimulation relations for weighted automata (Q2481957): Difference between revisions

@@ 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.1016/j.tcs.2007.11.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2075690166
@@ Property / OpenAlex ID: W2075690166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Iteration 2-theories
@@ Property / cites work: Iteration 2-theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687214
@@ Property / cites work: Q5687214 / rank @@
+Normal rank
@@ Property / cites work @@
+A notion of equivalence for stochastic Petri nets
@@ Property / cites work: A notion of equivalence for stochastic Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Exact performance equivalence: An equivalence relation for stochastic automata
+Normal rank
@@ Property / cites work @@
+Q4952904
@@ Property / cites work: Q4952904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798042
@@ Property / cites work: Q4798042 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient computation and representation of large reachability sets for composed automata
+Normal rank
@@ Property / cites work @@
+Q4449536
@@ Property / cites work: Q4449536 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance evaluation of (max,+) automata
@@ Property / cites work: Performance evaluation of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional minimisation of finite state systems using interface specifications
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687213
@@ Property / cites work: Q5687213 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Continuous Time Markov Chains
@@ Property / cites work: Finite Continuous Time Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449542
@@ Property / cites work: Q4449542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank