6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Peter D. Mosses, MohammadReza Mousavi, 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…