Modular fine-grained concurrency verification

Bibliographic Details
Main Author:	Vafeiadis, Viktor
Published:	University of Cambridge 2008
Subjects:	004
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612221

id	ndltd-bl.uk-oai-ethos.bl.uk-612221
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-6122212015-11-03T04:25:54ZModular fine-grained concurrency verificationVafeiadis, Viktor2008004University of Cambridgehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612221Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	004
spellingShingle	004 Vafeiadis, Viktor Modular fine-grained concurrency verification
author	Vafeiadis, Viktor
author_facet	Vafeiadis, Viktor
author_sort	Vafeiadis, Viktor
title	Modular fine-grained concurrency verification
title_short	Modular fine-grained concurrency verification
title_full	Modular fine-grained concurrency verification
title_fullStr	Modular fine-grained concurrency verification
title_full_unstemmed	Modular fine-grained concurrency verification
title_sort	modular fine-grained concurrency verification
publisher	University of Cambridge
publishDate	2008
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612221
work_keys_str_mv	AT vafeiadisviktor modularfinegrainedconcurrencyverification
_version_	1718123693684555776

Similar Items