Rely-guarantee 구성의 조건부 방출 실패로서의 Metastability

Metastability as a failed conditional discharge of rely-guarantee composition