Behavioral Extensions of Institutions


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


  • Presentations referencing similar topics