Compositional safe approximation of response time distribution of complex workflows

DOI10.1007/978-3-030-85172-9_5zbMath1491.68119OpenAlexW3196042529MaRDI QIDQ832058

Laura Carnevali, Riccardo Reali, Marco Paolieri, Enrico Vicario

Publication date: 24 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_5

zbMATH Keywords

stochastic orderingstructured modelcompositional evaluationresponse-time distributionstochastic workflow

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• GitHub
• Sirio

Cites Work

• Unnamed Item
• Divergence measures based on the Shannon entropy
• Multidimensional Stochastic Ordering and Associated Random Variables
• Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes