23 citations · 62 across the 50 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 2 cited
Preservation under Substructures modulo Bounded Cores
Abhisekh Sankaran, Bharat Adsul, Vivek Madan +2
We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures…
cs.LO2012★ 2 cited
Faster Algorithms for Alternating Refinement Relations
Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath
One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specific…