Locality refinement

Authors
Publication date
1 January 2010
Publisher
Department of Computing, Imperial College London
Doi

    Abstract

    We study re nement in the setting of local reasoning. In particular, we explore general translations that preserve and that break locality

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Supporting member

      Spiral - Imperial College Digital Repository

      redirect
      oaioai:spiral.imperial.ac.uk:1004...
      Last time updated on 16/05/2022
      Supporting member

      Spiral - Imperial College Digital Repository

      redirect
      oaioai:spiral.imperial.ac.uk:1004...
      Last time updated on 04/09/2019