Cited in
(30)- Towards bridging time and causal reversibility
- 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
- scientific article; zbMATH DE number 1863172 (Why is no real title available?)
- 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
- Product-form in G-networks
- G-networks of unreliable nodes
- 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
- PEPA
- ipc
- CauDEr
- AutoCAT: automated product-form solution of stochastic models
- Exact fluid lumpability in Markovian process algebra
- Turning back time in Markovian process algebra.
- Separable equilibrium state probabilities via time reversal in Markovian process algebra
- 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
This page was built for software: SPADES
