119
Voted
SFM
15 years 8 months ago
2007 Springer  123
Voted
SFM
15 years 8 months ago
2007 Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
84
Voted
SFM
15 years 8 months ago
2007 Springer 118
Voted
SFM
15 years 8 months ago
2007 Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
103
Voted
SFM
15 years 8 months ago
2007 Springer  |
Formal Methods