Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon. Diagnosability under Weak Fairness. In 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014. pages 132-141, IEEE, 2014. [doi]
Abstract is missing.