A Separation Logic for Fictional Sequential Consistency Filip Sieczkowski1 , Kasper Svendsen1 , Lars Birkedal1 , and Jean Pichon-Pharabod2 1 - Sequential logic - Document - PDFSEARCH.IO

First Page	Meta Content
	A Separation Logic for Fictional Sequential Consistency Filip Sieczkowski1 , Kasper Svendsen1 , Lars Birkedal1 , and Jean Pichon-Pharabod2 1 Add to Reading List Document Date: 2015-03-23 04:18:47 Open Document File Size: 468,81 KB Share Result on Facebook

A Separation Logic for Fictional Sequential Consistency Filip Sieczkowski1 , Kasper Svendsen1 , Lars Birkedal1 , and Jean Pichon-Pharabod2 1Add to Reading List