Sciweavers

EPEW
2008
Springer
13 years 6 months ago
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
Markovian behavioral equivalences can be exploited for state space reduction before performance evaluation takes place. It is known that Markovian bisimilarity corresponds to ordin...
Marco Bernardo