Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
Keywords: اتوماتای تصادفی; Stochastic automata; Quantitative analysis; Behavioural equivalences; Product-forms stochastic models;