Contextual Lumpability
Jane Elizabeth Hillston, Andrea Marin, Sabina Rossi, Carla Piazza · 2014
Quantitative analysis of computer systems is often based on Markovian models. Among the formalisms that are used in practice, Markovian process algebras have found many applications, also thanks to their compositional nature that allows one to specify systems as interacting individual automata that