Comparative Studies, Formal Semantics and PVS Encoding of CSP#

Ph.D

Saved in:

Bibliographic Details
Main Author:	SHI LING
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2014
Subjects:	Concurrency, Shared Variables, Denotational Semantics, UTP, Encoding, PVS
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/113265
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-113265
record_format	dspace
spelling	sg-nus-scholar.10635-1132652015-01-08T07:26:17Z Comparative Studies, Formal Semantics and PVS Encoding of CSP# SHI LING COMPUTER SCIENCE DONG JIN SONG Concurrency, Shared Variables, Denotational Semantics, UTP, Encoding, PVS Ph.D DOCTOR OF PHILOSOPHY 2014-11-30T18:00:20Z 2014-11-30T18:00:20Z 2014-08-15 Thesis SHI LING (2014-08-15). Comparative Studies, Formal Semantics and PVS Encoding of CSP#. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/113265 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Concurrency, Shared Variables, Denotational Semantics, UTP, Encoding, PVS
spellingShingle	Concurrency, Shared Variables, Denotational Semantics, UTP, Encoding, PVS SHI LING Comparative Studies, Formal Semantics and PVS Encoding of CSP#
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE SHI LING
format	Theses and Dissertations
author	SHI LING
author_sort	SHI LING
title	Comparative Studies, Formal Semantics and PVS Encoding of CSP#
title_short	Comparative Studies, Formal Semantics and PVS Encoding of CSP#
title_full	Comparative Studies, Formal Semantics and PVS Encoding of CSP#
title_fullStr	Comparative Studies, Formal Semantics and PVS Encoding of CSP#
title_full_unstemmed	Comparative Studies, Formal Semantics and PVS Encoding of CSP#
title_sort	comparative studies, formal semantics and pvs encoding of csp#
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/113265
_version_	1681094626044280832

Comparative Studies, Formal Semantics and PVS Encoding of CSP#

Similar Items