Compositional Minimal Semantics for the Stochastic Process Algebra TIPP
暂无分享,去创建一个
[1] Marc Davio,et al. Kronecker products and shuffle algebra , 1981, IEEE Transactions on Computers.
[2] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[3] 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.
[4] P. Buchholz. Exact and ordinary lumpability in finite Markov chains , 1994, Journal of Applied Probability.
[5] Norbert Götz,et al. Stochastische Prozessalgebren: Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme , 1994 .
[6] H. Hermanns,et al. Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .
[7] Markus Siegle. Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.