Barriers in concurrent separation logic: Now with tool support!

10.2168/LMCS-8(2:02)2012

Saved in:

Bibliographic Details
Main Authors:	Hobor, A., Gherghina, C.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Concurrency Concurrent Separation Logic Verification Tools
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39327
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39327
record_format	dspace
spelling	sg-nus-scholar.10635-393272023-10-25T07:31:34Z Barriers in concurrent separation logic: Now with tool support! Hobor, A. Gherghina, C. COMPUTER SCIENCE Concurrency Concurrent Separation Logic Verification Tools 10.2168/LMCS-8(2:02)2012 Logical Methods in Computer Science 8 2 2- 2013-07-04T07:39:08Z 2013-07-04T07:39:08Z 2012 Article Hobor, A., Gherghina, C. (2012). Barriers in concurrent separation logic: Now with tool support!. Logical Methods in Computer Science 8 (2) : 2-. ScholarBank@NUS Repository. https://doi.org/10.2168/LMCS-8(2:02)2012 18605974 http://scholarbank.nus.edu.sg/handle/10635/39327 000307646300002 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Concurrency Concurrent Separation Logic Verification Tools
spellingShingle	Concurrency Concurrent Separation Logic Verification Tools Hobor, A. Gherghina, C. Barriers in concurrent separation logic: Now with tool support!
description	10.2168/LMCS-8(2:02)2012
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Hobor, A. Gherghina, C.
format	Article
author	Hobor, A. Gherghina, C.
author_sort	Hobor, A.
title	Barriers in concurrent separation logic: Now with tool support!
title_short	Barriers in concurrent separation logic: Now with tool support!
title_full	Barriers in concurrent separation logic: Now with tool support!
title_fullStr	Barriers in concurrent separation logic: Now with tool support!
title_full_unstemmed	Barriers in concurrent separation logic: Now with tool support!
title_sort	barriers in concurrent separation logic: now with tool support!
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39327
_version_	1781411004540780544

Barriers in concurrent separation logic: Now with tool support!

Similar Items