Aarhus University logo
English
Dansk
Title: A Formal Study of Moessner's SieveAbstract: In this dissertation, we present a new characterization of Moessner’s sieve that brings a range of…
Speaker: Andrea Cerone, postdoc, IMDEA, Madrid, Spain
Title: Parameterised Linearisability.
Abstract: Many concurrent libraries are parameterised,…
Page 130 of 163.