%0 Conference Paper
%B Proceedings of 15th International Refinement Workshop - Refine
%D 2011
%T Refinement by interpretation in Pi-institutions
%A C. Rodrigues
%A M. Martins
%A Alexandre Madeira
%A Luis Soares Barbosa
%C Limerick, Ireland
%P 53-64
%S EPTCS
%V 55
%X <p>The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.</p>
%8 June
%> https://haslab.uminho.pt/sites/default/files/lsb/files/1106.4093v1.pdf