Robustness of Equations Under Operational Extensions

  title={Robustness of Equations Under Operational Extensions},
  author={Peter D. Mosses and Mohammad Reza Mousavi and Michel A. Reniers},
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid the need to rep eat proofs when extending the specified language. This paper investigates preservation of sound equations fo r everal notions of bisimilarity on open terms: closed-instance (ci-)bisimilarity and formal -hypothesis (fh-)bisimilarity, both due… CONTINUE READING