An Algebraic Definition of Simulation Between Programs.

Robin Milner

Browse the full IJCAI paper archive.