On the expressive power of CSP refinement

Bibliographic Details
Main Author: Roscoe, A
Format: Journal article
Published: 2003
_version_ 1797096281615630336
author Roscoe, A
author_facet Roscoe, A
author_sort Roscoe, A
collection OXFORD
description
first_indexed 2024-03-07T04:39:39Z
format Journal article
id oxford-uuid:d12b86f5-2fde-4196-aa88-80f59a353cb9
institution University of Oxford
last_indexed 2024-03-07T04:39:39Z
publishDate 2003
record_format dspace
spelling oxford-uuid:d12b86f5-2fde-4196-aa88-80f59a353cb92022-03-27T07:55:09ZOn the expressive power of CSP refinementJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:d12b86f5-2fde-4196-aa88-80f59a353cb9Department of Computer Science2003Roscoe, A
spellingShingle Roscoe, A
On the expressive power of CSP refinement
title On the expressive power of CSP refinement
title_full On the expressive power of CSP refinement
title_fullStr On the expressive power of CSP refinement
title_full_unstemmed On the expressive power of CSP refinement
title_short On the expressive power of CSP refinement
title_sort on the expressive power of csp refinement
work_keys_str_mv AT roscoea ontheexpressivepowerofcsprefinement