First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK - Liverpool - Document - PDFSEARCH.IO

First Page	Meta Content
	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Document Date: 2015-09-02 07:29:35 Open Document File Size: 377,76 KB Share Result on Facebook

First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UKAdd to Reading List