The complexity of readiness and failure equivalences for processes | IEEE Conference Publication | IEEE Xplore