Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2804498827
@@ Property / OpenAlex ID: W2804498827 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Analysis of queueing networks with blocking
@@ Property / cites work: Analysis of queueing networks with blocking / rank @@
+Normal rank
@@ Property / cites work @@
+Queueing Networks
@@ Property / cites work: Queueing Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Lumping and reversed processes in cooperating automata
+Normal rank
@@ Property / cites work @@
+Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Exact performance equivalence: An equivalence relation for stochastic automata
+Normal rank
@@ Property / cites work @@
+Flow equivalence and stochastic equivalence in G-networks
+Normal rank
@@ Property / cites work @@
+Turning back time in Markovian process algebra.
@@ Property / cites work: Turning back time in Markovian process algebra. / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855869
@@ Property / cites work: Q3855869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregation and truncation of reversible Markov chains modulo state renaming
+Normal rank
@@ Property / cites work @@
+On the relations between Markov chain lumpability and reversibility
+Normal rank
@@ Property / cites work @@
+Quantitative Analysis of Concurrent Reversible Computations
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Closed Exponential Networks of Queues with Saturation: The Jackson-Type Stationary Distribution and Its Asymptotic Analysis
+Normal rank
@@ Property / cites work @@
+Lumpability and time reversibility in the aggregation-disaggregation method for large markov chains
+Normal rank
@@ Property / cites work @@
+Simple O(m logn) Time Markov Chain Lumping
@@ Property / cites work: Simple O(m logn) Time Markov Chain Lumping / rank @@
+Normal rank