Unified specification and performance evaluation using stochastic process algebras
暂无分享,去创建一个
[1] Joost-Pieter Katoen,et al. Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures , 2001, Euro Summer School on Trends in Computer Science.
[2] Günter Haring,et al. Performance Evaluation: Origins and Directions , 2000, Lecture Notes in Computer Science.
[3] Roberto Gorrieri,et al. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time , 1998, Theor. Comput. Sci..
[4] Roberto Gorrieri,et al. MPA: a Stochastic Process Algebra , 1994 .
[5] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[6] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[7] R. Syski,et al. Introduction to congestion theory in telephone systems , 1962 .