Lumping and reversed processes in cooperating automata (Q291348): Difference between revisions

@@ Property / describes a project that uses @@
+PEPA
@@ Property / describes a project that uses: PEPA / 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/s10479-014-1694-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2134779456
@@ Property / OpenAlex ID: W2134779456 / rank @@
+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
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+An Extension of Norton's Theorem for Queueing Networks
+Normal rank
@@ Property / cites work @@
+Queueing Networks
@@ Property / cites work: Queueing Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic state-space exploration and numerical analysis of state-sharing composed models
+Normal rank
@@ Property / cites work @@
+Separable solutions for Markov processes in random environments
+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 @@
+Q2842864
@@ Property / cites work: Q2842864 / rank @@
+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 @@
+The Output of a Queuing System
@@ Property / cites work: The Output of a Queuing System / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Analysis of Queuing Networks
@@ Property / cites work: Parametric Analysis of Queuing Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144754
@@ Property / cites work: Q4144754 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for Optimal Markov Chain Lumping
+Normal rank
@@ Property / cites work @@
+Generalized product-form stationary distributions for Markov chains in random environments with queueing applications
+Normal rank
@@ Property / cites work @@
+Product-form queueing networks with negative and positive customers
+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 @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855869
@@ Property / cites work: Q3855869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3736879
@@ Property / cites work: Q3736879 / rank @@
+Normal rank
@@ Property / cites work @@
+The two-dimensional \(g\)-fraction with independent variables for double power series
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Error Bounds for Aggregated Markov Chains
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank