Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Locality Refinement
File(s)
Author(s)
Dinsdale-Young, Thomas
Gardner, Philippa
Wheelhouse, Mark
Type
Working Paper
Abstract
We study refinement in the setting of local reasoning. In
particular, we explore general translations that preserve and that break
locality.
Date Issued
2010-01-01
Citation
2010
URI