On deciding readiness and failure equivalences for processes
scientific article; zbMATH DE number 767823