A semantic foundation for TCOZ in unifying theories of programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

Bibliographic Details
Main Authors:	Qin, S., Dong, J.S., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Integrated formal specifications Semantics UTP
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38929
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38929
record_format	dspace
spelling	sg-nus-scholar.10635-389292015-01-07T19:42:58Z A semantic foundation for TCOZ in unifying theories of programming Qin, S. Dong, J.S. Chin, W.-N. COMPUTER SCIENCE Integrated formal specifications Semantics UTP Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2805 321-340 2013-07-04T07:30:06Z 2013-07-04T07:30:06Z 2003 Article Qin, S.,Dong, J.S.,Chin, W.-N. (2003). A semantic foundation for TCOZ in unifying theories of programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2805 : 321-340. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/38929 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Integrated formal specifications Semantics UTP
spellingShingle	Integrated formal specifications Semantics UTP Qin, S. Dong, J.S. Chin, W.-N. A semantic foundation for TCOZ in unifying theories of programming
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Qin, S. Dong, J.S. Chin, W.-N.
format	Article
author	Qin, S. Dong, J.S. Chin, W.-N.
author_sort	Qin, S.
title	A semantic foundation for TCOZ in unifying theories of programming
title_short	A semantic foundation for TCOZ in unifying theories of programming
title_full	A semantic foundation for TCOZ in unifying theories of programming
title_fullStr	A semantic foundation for TCOZ in unifying theories of programming
title_full_unstemmed	A semantic foundation for TCOZ in unifying theories of programming
title_sort	semantic foundation for tcoz in unifying theories of programming
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38929
_version_	1681082006791782400

A semantic foundation for TCOZ in unifying theories of programming

Similar Items