8
IRUS TotalDownloads
Altmetric
Locality refinement
| File | Description | Size | Format | |
|---|---|---|---|---|
 DTR10-8.pdf | Published version | 358.56 kB | Adobe PDF | View/Open |
| Title: | Locality refinement |
| Authors: | Dinsdale-Young, T Gardner, P Wheelhouse, M |
| Item Type: | Report |
| Abstract: | We study re nement in the setting of local reasoning. In particular, we explore general translations that preserve and that break locality. |
| Issue Date: | 1-Jan-2010 |
| URI: | http://hdl.handle.net/10044/1/95218 |
| DOI: | https://doi.org/10.25561/95218 |
| Publisher: | Department of Computing, Imperial College London |
| Start Page: | 1 |
| End Page: | 40 |
| Journal / Book Title: | Departmental Technical Report: 10/8 |
| Copyright Statement: | © 2010 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) |
| Publication Status: | Published |
| Article Number: | 10/8 |
| Appears in Collections: | Computing Computing Technical Reports Faculty of Engineering |
This item is licensed under a Creative Commons License
