An algebraic de nition of simulation between programs (1971)

by R Milner
Venue:In Proc. Second Int. Joint Conf. on Arti cial Intelligence