Axiomatic Characterization of Trace Reachability for Concurrent Objects.

Frank S. de Boer, Hans-Dieter A. Hiep

Browse the full IFM paper archive.