SPADES
From MaRDI portal
Software:14749
swMATH2205MaRDI QIDQ14749FDOQ14749
Author name not available (Why is that?)
Cited In (27)
- PROCESSOR SHARING G-QUEUES WITH INERT CUSTOMERS AND CATASTROPHES: A MODEL FOR SERVER AGING AND REJUVENATION
- An integrated framework for the performance analysis of asynchronous communicating stochastic processes
- Title not available (Why is that?)
- Tackling Large State Spaces in Performance Modelling
- A fluid analysis framework for a Markovian process algebra
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- Lumping and reversed processes in cooperating automata
- Reversed processes, product forms and a non-product form
- Structural Analysis for Stochastic Process Algebra Models
- Validation of Stochastic Systems
- Formal Testing of Systems Presenting Soft and Hard Deadlines
- On the relations between Markov chain lumpability and reversibility
- Ergodicity bounds for the Markovian queue with time-varying transition intensities, batch arrivals and one queue skipping policy
- Exact fluid lumpability in Markovian process algebra
- Turning back time in Markovian process algebra.
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
- Towards Bridging Time and Causal Reversibility
- Separable equilibrium state probabilities via time reversal in Markovian process algebra
- AutoCAT: Automated Product-Form Solution of Stochastic Models
- Algorithmic product-form approximations of interacting stochastic models
- Separable solutions for Markov processes in random environments
- On product-form approximations of cooperating stochastic models
- Theoretical Aspects of Computing – ICTAC 2005
- Lumping and Reversed Processes in Cooperating Automata
- Tackling continuous state-space explosion in a Markovian process algebra
- G-NETWORKS OF UNRELIABLE NODES
- PRODUCT-FORM IN G-NETWORKS
This page was built for software: SPADES