Metastability as a failed conditional discharge of rely-guarantee composition 0 Metadata · 2mo · discuss