Marialena Hadjikosti

Trace Based Semantics for Rely Guarantee

by Marialena Hadjikosti, Andrei Popescu and Jamie Wright