Francisco Macedo. Finding Steady States of Communicating Markov Processes Combining Aggregation/Disaggregation with Tensor Techniques. In Dieter Fiems, Marco Paolieri, Agapios N. Platis, editors, Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings. Volume 9951 of Lecture Notes in Computer Science, pages 48-62, Springer, 2016. [doi]
Abstract is missing.