Theoretical Computer Science
Product form solution for a class of PEPA models
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
A probabilistic dynamic technique for the distributed generation of very large state spaces
Performance Evaluation - Special issue on modelling techniques and tools for performance evaluation
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Product-forms from a CAT and DOG
ACM SIGMETRICS Performance Evaluation Review
G-networks with propagating resets via RCAT
ACM SIGMETRICS Performance Evaluation Review - Special issue on the fifth workshop on MAthematical performance Modeling and Analysis (MAMA 2003)
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A general performance model interchange format
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Automated product-forms with Meercat
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Short communication: Product-forms and functional rates
Performance Evaluation
Response time distributions and network perturbation into product-form
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Process Algebraic Non-product-forms
Electronic Notes in Theoretical Computer Science (ENTCS)
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
A unifying approach to product-forms in networks with finite capacity constraints
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Product-form solutions for models with joint-state dependent transition rates
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
A numerical algorithm for the solution of product-form models with infinite state spaces
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
State-dependent rates and semi-product-form via the reversed process
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A PMIF with petri net building blocks
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Performance engineering with product-form models: efficient solutions and applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
G-networks with synchronised arrivals
Performance Evaluation
Product-form solution in PEPA via the reversed process
Network performance engineering
Hierarchically constructed Petri-nets and product-forms
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Performance engineering and stochastic modelling
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Product-form approximation of queueing networks with phase-type service
ACM SIGMETRICS Performance Evaluation Review
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Lumping and reversed processes in cooperating automata
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
Analysis of stochastic Petri nets with signals
Performance Evaluation
Product-form results for two-station networks with shared resources
Performance Evaluation
Algorithmic product-form approximations of interacting stochastic models
Computers & Mathematics with Applications
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Multiple class G-networks with restart
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Product-forms in batch networks: Approximation and asymptotics
Performance Evaluation
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
| Hi-index | 5.23 |
Product-form solutions in Markovian process algebra (MPA) are constructed using properties of reversed processes. The compositionality of MPAs is directly exploited, allowing a large class of hierarchically constructed systems to be solved for their state probabilities at equilibrium. The paper contains new results on both reversed stationary Markov processes as well as MPA itself and includes a mechanisable proof in MPA notation of Jackson's theorem for product-form queueing networks. Several examples are used to illustrate the approach.