Stochastic transition systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 423-438
- https://doi.org/10.1007/bfb0055639
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An algebra-based method to associate rewards with EMPA termsPublished by Springer Nature ,1997
- Temporal logics for the specification of performance and reliabilityPublished by Springer Nature ,1997
- A Compositional Approach to Performance ModellingPublished by Cambridge University Press (CUP) ,1996
- Extended Markovian Process AlgebraPublished by Springer Nature ,1996
- Probabilistic Simulations for Probabilistic ProcessesPublished by Springer Nature ,1994
- Verifying automata specifications of probabilistic real-time systemsPublished by Springer Nature ,1992
- On the solution of GSPN reward modelsPerformance Evaluation, 1991
- Automatic verification of probabilistic concurrent finite state programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Termination of Probabilistic Concurrent ProgramACM Transactions on Programming Languages and Systems, 1983