Matteo Sottana, Carla Piazza, Andrea Albarelli. Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017. pages 52-59, ACM, 2017. [doi]
Abstract is missing.