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

First Page		Document Content
Date: 2011-07-12 07:16:33		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 Source URL: fmt.cs.utwente.nl Download Document from Source Website File Size: 250,38 KB Share Document on Facebook