A Function-Equivalent Components Based Simplification Technique for PEPA Models
From MaRDI portal
Publication:3613665
DOI10.1007/11777830_2zbMath1185.68112MaRDI QIDQ3613665
Publication date: 12 March 2009
Published in: Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11777830_2
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software