Theories of translation correctness for concurrent programming languages
Main Author: | |
---|---|
Published: |
University of Edinburgh
1985
|
Subjects: | |
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 |