Author:
Aldini Alessandro,Corradini Flavio,Bernardo Marco
Reference40 articles.
1. G.D. Abowd, R. Allen, and D. Garlan, Formalizing Style to Understand Descriptions of Software Architecture, ACM Transactions on Software Engineering and Methodology 4:319–364, 1995.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York (NY), 1995.
3. C. Baier, J.-P. Katoen, H. Hermanns, and V. Wolf, Comparative Branching-Time Semantics for Markov Chains, Information and Computation 200:149–214, 2005.
4. M. Bernardo, Non-Bisimulation-Based Markovian Behavioral Equivalences, Journal of Logic and Algebraic Programming 72:3–49, 2007.
5. M. Bernardo, Towards State Space Reduction Based on T-Lumpability-Consistent Relations, in Proc. of the 5th European Performance Engineering Workshop (EPEW 2008), Springer, LNCS 5261:64–78, Palma de Mallorca (Spain), 2008.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献