24th Estonian Winter School in Computer Science (EWSCS)
XXIV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2019

Jade Alglave

Department of Computer Science
University College London
United Kingdom

Program reasoning for relaxed memory

Abstract

Valid CSS! Valid XHTML 1.0 Strict Last changed February 8, 2019 11:10 Europe/Helsinki (GMT +02:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/