![](https://www.pdfsearch.io/img/6350f8d5c8949527f60685d5b130eea9.jpg) Date: 2011-01-05 06:34:49
| | Barriers in Concurrent Separation Logic Aquinas Hobor and Cristian Gherghina National University of Singapore Abstract. We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriersAdd to Reading ListSource URL: www.comp.nus.edu.sgDownload Document from Source Website File Size: 347,25 KBShare Document on Facebook
|