https://isa-afp.org/authors/hadjikosti/ AFP entries of Marialena Hadjikosti https://isa-afp.org/entries/Trace_Based_Rely_Guarantee.html Tue, 11 Aug 2026 00:00:00 +0000 Trace Based Semantics for Rely Guarantee in the AFP Computer science/Concurrency Computer science/Semantics and reasoning