Barriers in concurrent separation logic
10.1007/978-3-642-19718-5_15
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40436 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-40436 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-404362015-01-06T08:26:38Z Barriers in concurrent separation logic Hobor, A. Gherghina, C. COMPUTER SCIENCE 10.1007/978-3-642-19718-5_15 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6602 LNCS 276-296 2013-07-04T08:04:15Z 2013-07-04T08:04:15Z 2011 Conference Paper Hobor, A.,Gherghina, C. (2011). Barriers in concurrent separation logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6602 LNCS : 276-296. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-19718-5_15" target="_blank">https://doi.org/10.1007/978-3-642-19718-5_15</a> 9783642197178 03029743 http://scholarbank.nus.edu.sg/handle/10635/40436 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
10.1007/978-3-642-19718-5_15 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Hobor, A. Gherghina, C. |
| format |
Conference or Workshop Item |
| author |
Hobor, A. Gherghina, C. |
| spellingShingle |
Hobor, A. Gherghina, C. Barriers in concurrent separation logic |
| author_sort |
Hobor, A. |
| title |
Barriers in concurrent separation logic |
| title_short |
Barriers in concurrent separation logic |
| title_full |
Barriers in concurrent separation logic |
| title_fullStr |
Barriers in concurrent separation logic |
| title_full_unstemmed |
Barriers in concurrent separation logic |
| title_sort |
barriers in concurrent separation logic |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40436 |
| _version_ |
1681082267653373952 |