A Coalgebraic Representation of Reduction by Cone of Influence (2008)
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
The Cone of Influence Reduction is a fundamental abstraction technique for reducing the size of models used in symbolic model checking. We develop coalgebraic representations of systems as composites...