Chiara Nottegar

Learn More
We use a structural operational semantics which drives us in inferring quantitative measures on system evolution. The transitions of the system are labelled and we assign rates to them by only looking at these labels. The rates reflect the possibly distributed architecture on which applications run. We then map transition systems to Markov chains, and(More)
  • 1