141
click to vote
SFM
15 years 10 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 ...
134
click to vote
SFM
15 years 10 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...
|
Formal Methods