Locality refinement
File(s)DTR10-8.pdf (358.56 KB)
Published version
Author(s)
Dinsdale-Young, Thomas
Gardner, Philippa
Wheelhouse, Mark
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.
particular, we explore general translations that preserve and that break
locality.
Date Issued
2010-01-01
Citation
Departmental Technical Report: 10/8, 2010, pp.1-40
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