Specification and Verification of Shared-Memory Concurrent Programs

Ph.D

Saved in:

Bibliographic Details
Main Author:	LE DUY KHANH
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2014
Subjects:	Concurrency, Verification, Logic, Threads, Locks, Barriers
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/118270
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-118270
record_format	dspace
spelling	sg-nus-scholar.10635-1182702015-01-06T05:45:13Z Specification and Verification of Shared-Memory Concurrent Programs LE DUY KHANH COMPUTER SCIENCE TEO YONG MENG CHIN WEI NGAN Concurrency, Verification, Logic, Threads, Locks, Barriers Ph.D DOCTOR OF PHILOSOPHY 2014-12-31T18:02:01Z 2014-12-31T18:02:01Z 2014-08-12 Thesis LE DUY KHANH (2014-08-12). Specification and Verification of Shared-Memory Concurrent Programs. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/118270 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Concurrency, Verification, Logic, Threads, Locks, Barriers
spellingShingle	Concurrency, Verification, Logic, Threads, Locks, Barriers LE DUY KHANH Specification and Verification of Shared-Memory Concurrent Programs
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LE DUY KHANH
format	Theses and Dissertations
author	LE DUY KHANH
author_sort	LE DUY KHANH
title	Specification and Verification of Shared-Memory Concurrent Programs
title_short	Specification and Verification of Shared-Memory Concurrent Programs
title_full	Specification and Verification of Shared-Memory Concurrent Programs
title_fullStr	Specification and Verification of Shared-Memory Concurrent Programs
title_full_unstemmed	Specification and Verification of Shared-Memory Concurrent Programs
title_sort	specification and verification of shared-memory concurrent programs
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/118270
_version_	1681095469648838656

Specification and Verification of Shared-Memory Concurrent Programs

Similar Items