Verification of static and dynamic barrier synchronization using bounded permissions

Verification of static and dynamic barrier synchronization using bounded permissions

10.1007/978-3-642-41202-8_16

Saved in:
Bibliographic Details
Main Authors: Le, D.-K., Chin, W.-N., Teo, Y.-M.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Subjects:
Barrier
Concurrency
Logic
Permissions
Verification
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78422
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-78422
record_format dspace
spelling sg-nus-scholar.10635-784222015-01-05T20:58:04Z Verification of static and dynamic barrier synchronization using bounded permissions Le, D.-K. Chin, W.-N. Teo, Y.-M. COMPUTER SCIENCE Barrier Concurrency Logic Permissions Verification 10.1007/978-3-642-41202-8_16 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS 231-248 2014-07-04T03:16:07Z 2014-07-04T03:16:07Z 2013 Conference Paper Le, D.-K.,Chin, W.-N.,Teo, Y.-M. (2013). Verification of static and dynamic barrier synchronization using bounded permissions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS : 231-248. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-41202-8_16" target="_blank">https://doi.org/10.1007/978-3-642-41202-8_16</a> 9783642412011 03029743 http://scholarbank.nus.edu.sg/handle/10635/78422 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Barrier
Concurrency
Logic
Permissions
Verification
spellingShingle Barrier
Concurrency
Logic
Permissions
Verification
Le, D.-K.
Chin, W.-N.
Teo, Y.-M.
Verification of static and dynamic barrier synchronization using bounded permissions
description 10.1007/978-3-642-41202-8_16
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Le, D.-K.
Chin, W.-N.
Teo, Y.-M.
format Conference or Workshop Item
author Le, D.-K.
Chin, W.-N.
Teo, Y.-M.
author_sort Le, D.-K.
title Verification of static and dynamic barrier synchronization using bounded permissions
title_short Verification of static and dynamic barrier synchronization using bounded permissions
title_full Verification of static and dynamic barrier synchronization using bounded permissions
title_fullStr Verification of static and dynamic barrier synchronization using bounded permissions
title_full_unstemmed Verification of static and dynamic barrier synchronization using bounded permissions
title_sort verification of static and dynamic barrier synchronization using bounded permissions
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/78422
_version_ 1681088638633377792

Similar Items