Algebra of concurrent design

Bibliographic Details
Main Author: Hoare, T
Format: Conference item
Published: IEEE 2012
_version_ 1797093834917675008
author Hoare, T
author_facet Hoare, T
author_sort Hoare, T
collection OXFORD
description
first_indexed 2024-03-07T04:05:53Z
format Conference item
id oxford-uuid:c620f3a7-91f9-40a1-9464-1968ea32dd36
institution University of Oxford
last_indexed 2024-03-07T04:05:53Z
publishDate 2012
publisher IEEE
record_format dspace
spelling oxford-uuid:c620f3a7-91f9-40a1-9464-1968ea32dd362022-03-27T06:35:59ZAlgebra of concurrent designConference itemhttp://purl.org/coar/resource_type/c_5794uuid:c620f3a7-91f9-40a1-9464-1968ea32dd36Department of Computer ScienceIEEE2012Hoare, T
spellingShingle Hoare, T
Algebra of concurrent design
title Algebra of concurrent design
title_full Algebra of concurrent design
title_fullStr Algebra of concurrent design
title_full_unstemmed Algebra of concurrent design
title_short Algebra of concurrent design
title_sort algebra of concurrent design
work_keys_str_mv AT hoaret algebraofconcurrentdesign