Theories of translation correctness for concurrent programming languages

Bibliographic Details
Main Author:	Millington, M.
Published:	University of Edinburgh 1985
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370892

id	ndltd-bl.uk-oai-ethos.bl.uk-370892
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3708922015-03-19T05:22:34ZTheories of translation correctness for concurrent programming languagesMillington, M.1985005Computer software & programmingUniversity of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370892Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Millington, M. Theories of translation correctness for concurrent programming languages
author	Millington, M.
author_facet	Millington, M.
author_sort	Millington, M.
title	Theories of translation correctness for concurrent programming languages
title_short	Theories of translation correctness for concurrent programming languages
title_full	Theories of translation correctness for concurrent programming languages
title_fullStr	Theories of translation correctness for concurrent programming languages
title_full_unstemmed	Theories of translation correctness for concurrent programming languages
title_sort	theories of translation correctness for concurrent programming languages
publisher	University of Edinburgh
publishDate	1985
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370892
work_keys_str_mv	AT millingtonm theoriesoftranslationcorrectnessforconcurrentprogramminglanguages
_version_	1716741492215644160

Similar Items