Latticed Simulation Relations and Games.

Orna Kupferman, Yoad Lustig

Browse the full ATVA paper archive.