Rate lifting for stochastic process algebra by transition context augmentation

DOI10.1145/3656582MaRDI QIDQ6639409zbMATH OpenFDO

Authors Amin Soltanieh, Markus Siegle

Publication date 15 November 2024

Published in ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3656582

zbMATH Keywords

Markov chainmodel repairrate liftingstochastic process algebrastructural and behavioural properties

Mathematics Subject Classification ID

Computational methods for problems pertaining to statistics (62-08) Sequential statistical analysis (62L10)

Recommendations

• Rate lifting for stochastic process algebra -- exploiting structural properties
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• Solving systems of bilinear equations for transition rate reconstruction
• Rate-Based Transition Systems for Stochastic Process Calculi
• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

Cites work

• A calculus of communicating systems
• An efficient fourth order weighted-Newton method for systems of nonlinear equations
• Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring
• scientific article; zbMATH DE number 778129 (Why is no real title available?)
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• Model repair for probabilistic systems
• On Evaluating the Performability of Degradable Computing Systems
• On the computational efficiency index and some iterative methods for solving systems of nonlinear equations
• Optimal solution of nonlinear equations
• Process algebra for performance evaluation
• Rate lifting for stochastic process algebra -- exploiting structural properties
• Solving systems of bilinear equations for transition rate reconstruction

This page was built for publication: Rate lifting for stochastic process algebra by transition context augmentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6639409)