Pages that link to "Item:Q3994065"
From MaRDI portal
The following pages link to On the solution of GSPN reward models (Q3994065):
Displayed 8 items.
- Specification techniques for Markov reward models (Q686334) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- A notion of equivalence for stochastic Petri nets (Q5096363) (← links)