Jie Ding, Leijie Sha, Xinshan Zhu. Calculating the response time based on action flow in Stochastic Process Algebra models. In 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016. pages 3618-3623, IEEE, 2016. [doi]
Abstract is missing.