Marco Bernardo. Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. In Roberto Bruni, Vladimiro Sassone, editors, Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Volume 7173 of Lecture Notes in Computer Science, pages 89-103, Springer, 2011. [doi]
Abstract is missing.