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 - Aquinas University - Document - PDFSEARCH.IO

First Page	Meta 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

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 List