An expressive framework for verifying deadlock freedom

10.1007/978-3-319-02444-8_21

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:	Concurrency Deadlock Specification Verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78013
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78013
record_format	dspace
spelling	sg-nus-scholar.10635-780132024-11-13T20:32:15Z An expressive framework for verifying deadlock freedom Le, D.-K. Chin, W.-N. Teo, Y.-M. COMPUTER SCIENCE Concurrency Deadlock Specification Verification 10.1007/978-3-319-02444-8_21 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8172 LNAI 287-302 2014-07-04T03:11:26Z 2014-07-04T03:11:26Z 2013 Conference Paper Le, D.-K.,Chin, W.-N.,Teo, Y.-M. (2013). An expressive framework for verifying deadlock freedom. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8172 LNAI : 287-302. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-319-02444-8_21" target="_blank">https://doi.org/10.1007/978-3-319-02444-8_21</a> 9783319024431 03029743 http://scholarbank.nus.edu.sg/handle/10635/78013 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Concurrency Deadlock Specification Verification
spellingShingle	Concurrency Deadlock Specification Verification Le, D.-K. Chin, W.-N. Teo, Y.-M. An expressive framework for verifying deadlock freedom
description	10.1007/978-3-319-02444-8_21
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	An expressive framework for verifying deadlock freedom
title_short	An expressive framework for verifying deadlock freedom
title_full	An expressive framework for verifying deadlock freedom
title_fullStr	An expressive framework for verifying deadlock freedom
title_full_unstemmed	An expressive framework for verifying deadlock freedom
title_sort	expressive framework for verifying deadlock freedom
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78013
_version_	1821189863403159552

An expressive framework for verifying deadlock freedom

Similar Items