Metastability as a failed conditional discharge of rely-guarantee composition

muratbuffalo.blogspot.com