65
Voted
EPEW
2008
Springer
14 years 10 months ago
2008
Springer
Markovian behavioral equivalences can be exploited for state space reduction before performance evaluation takes place. It is known that Markovian bisimilarity corresponds to ordin...