@Incollection{EPTCS129.20, author = {Hankin, Chris}, year = {2013}, title = {A short note on Simulation and Abstraction}, editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, {\rm Manhattan, Kansas, USA, 19-20th September 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {129}, publisher = {Open Publishing Association}, pages = {337-340}, doi = {10.4204/EPTCS.129.20}, }