Back to Results
First PageMeta Content



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 barriers
Add to Reading List

Document Date: 2011-01-05 06:34:49


Open Document

File Size: 347,25 KB

Share Result on Facebook
UPDATE