An Algebraic Definition of Simulation Between Programs

Robin Milner. An Algebraic Definition of Simulation Between Programs. In IJCAI. pages 481-489, 1971.

Abstract

Abstract is missing.