"Temporal logic"@en . . "Simon B\u00E4umler" . "d582f2505b2ea262844c3ae3ff6d374c" . "Lock-free"@en . "Rely-guarantee"@en . "B\u00E4umler" . "Linearizability"@en . "Verification"@en . "Simon" . "Compositional reasoning"@en .