The following pages link to SPADES (Q14749):
Displaying 27 items.
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- Algorithmic product-form approximations of interacting stochastic models (Q356426) (← links)
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Turning back time in Markovian process algebra. (Q1401206) (← links)
- Reversed processes, product forms and a non-product form (Q1434436) (← links)
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
- An integrated framework for the performance analysis of asynchronous communicating stochastic processes (Q1882804) (← links)
- Separable solutions for Markov processes in random environments (Q2355869) (← links)
- On the relations between Markov chain lumpability and reversibility (Q2406431) (← links)
- Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
- Separable equilibrium state probabilities via time reversal in Markovian process algebra (Q2576953) (← links)
- Ergodicity bounds for the Markovian queue with time-varying transition intensities, batch arrivals and one queue skipping policy (Q2663805) (← links)
- AutoCAT: Automated Product-Form Solution of Stochastic Models (Q2841722) (← links)
- Lumping and Reversed Processes in Cooperating Automata (Q2900404) (← links)
- Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
- Tackling Large State Spaces in Performance Modelling (Q3084593) (← links)
- Formal Testing of Systems Presenting Soft and Hard Deadlines (Q3508523) (← links)
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations (Q4571082) (← links)
- (Q4791843) (← links)
- On product-form approximations of cooperating stochastic models (Q4932649) (← links)
- PROCESSOR SHARING G-QUEUES WITH INERT CUSTOMERS AND CATASTROPHES: A MODEL FOR SERVER AGING AND REJUVENATION (Q4961784) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- Validation of Stochastic Systems (Q5325834) (← links)
- PRODUCT-FORM IN G-NETWORKS (Q5358084) (← links)
- G-NETWORKS OF UNRELIABLE NODES (Q5358085) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395119) (← links)
