Behavioral Extensions of Institutions

Abstract

We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an “extension” because Ibeh has the same sentences… (More)
DOI: 10.1007/11548133_21

Topics

  • Presentations referencing similar topics