Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands - University of Twente - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands Add to Reading List Document Date: 2011-07-12 07:16:33 Open Document File Size: 250,38 KB Share Result on Facebook

Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The NetherlandsAdd to Reading List