Unreliability in practical subclasses of communicating systems - Suresh, A; Yoshida, N (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025)