Let's evaluate performance algebraically
暂无分享,去创建一个
[1] Norbert Götz,et al. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.
[2] Peter G. Harrison,et al. Stochastic Process Algebra for Discrete Event Simulation , 1995 .
[3] Leonard Kleinrock,et al. Theory, Volume 1, Queueing Systems , 1975 .
[4] Stephen Gilmore,et al. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.
[5] Joost-Pieter Katoen,et al. An algebraic approach to the specification of stochastic systems , 1998, PROCOMET.
[6] Marco Bernardo,et al. An Algebra-Based Method to Associate Rewards with EMPA Terms , 1997, ICALP.
[7] Ulrich Herzog,et al. Formal Description, Time and Performance Analysis. A Framework , 1990, Entwurf und Betrieb verteilter Systeme.
[8] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[9] Roberto Gorrieri,et al. A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems , 1998, Inf. Comput..
[10] Holger Hermanns,et al. A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP , 1996, TACAS.
[11] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[12] Mario Bravetti,et al. Towards Performance Evaluation with General Distributions in Process Algebras , 1998, CONCUR.
[13] Rance Cleaveland,et al. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems , 1998, FORTE.
[14] C. A. Petri. Communication with automata , 1966 .
[15] Domenico Ferrari. Considerations on the insularity of performance evaluation , 1986, IEEE Transactions on Software Engineering.
[16] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[17] Yechiam Yemini,et al. Algebraic Specification-Based Performance Analysis of Communication Protocols , 1984, PSTV.
[18] S. Wittevrongel,et al. Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.
[19] Marco Ajmone Marsan,et al. Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.
[20] J. Hillston. Exploiting Structure in Solution: Decomposing Composed Models , 1998 .