Tools

• Combined functional and quantitative analysis

  • SPA as a unifying formalism?
  • address all four notions of performance in one framework
    

• Efficient solution methods

  • compositionality
  • asymptotic analysis, large deviations
  • parallel computation

Previous slide

Next slide

Back to first slide

View graphic version