Rate lifting for stochastic process algebra -- exploiting structural properties

DOI10.1007/978-3-031-16336-4_4zbMath1522.68371arXiv2206.14505MaRDI QIDQ6103028

Amin Soltanieh, Markus Siegle

Publication date: 2 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2206.14505

zbMATH Keywords

Markov chainstructural propertiesstochastic process algebramodel repairrate lifting

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)

Cites Work

• A calculus of communicating systems
• Solving systems of bilinear equations for transition rate reconstruction
• Model Repair for Probabilistic Systems
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• A Compositional Approach to Performance Modelling

This page was built for publication: Rate lifting for stochastic process algebra -- exploiting structural properties