SPADES
From MaRDI portal
swMATH2205MaRDI QIDQ14749FDOQ14749
Author name not available (Why is that?)
Official website: http://logcom.oxfordjournals.org/content/10/1/3.short
Cited In (30)
- Structural analysis for stochastic process algebra models
- Applying reversibility theory for the performance evaluation of reversible computations
- 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?)
- A fluid analysis framework for a Markovian process algebra
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- Product-form in G-networks
- G-networks of unreliable nodes
- Lumping and reversed processes in cooperating automata
- Lumping and reversed processes in cooperating automata
- Reversed processes, product forms and a non-product form
- 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
- AutoCAT: automated product-form solution of stochastic models
- Exact fluid lumpability in Markovian process algebra
- Turning back time in Markovian process algebra.
- PEPA
- ipc
- Separable equilibrium state probabilities via time reversal in Markovian process algebra
- CauDEr
- 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
- Tackling large state spaces in performance modelling
- Tackling continuous state-space explosion in a Markovian process algebra
- Towards bridging time and causal reversibility
This page was built for software: SPADES
