Sciweavers

EPEW
2008
Springer
14 years 1 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