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

First Page		Document Content
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 barriers Add to Reading List Source URL: www.comp.nus.edu.sg Download Document from Source Website File Size: 347,25 KB Share Document on Facebook