Talk at FRIDA 2022 Posted on 11/08/2022 by Hagit Attiya Slides for my talk about hyperproprties and abstraction in concurrent objects, given at FRIDA 2022.