Imperial College London

Professor Christopher Hankin Director, Institute for Security Science and Technology

Faculty of EngineeringInstitute for Security Science & Technology

Co-Director of Institute for Security Science & Technology



+44 (0)20 7594 7619c.hankin Website




Ms Denise McGurk +44 (0)20 7594 8864




Sherfield BuildingSouth Kensington Campus






BibTex format

author = {Hankin, C},
doi = {10.4204/EPTCS.129.20},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
pages = {337--340},
title = {A short note on Simulation and Abstraction},
url = {},
volume = {129},
year = {2013}

RIS format (EndNote, RefMan)

AB - This short note is written in celebration of David Schmidt's sixtieth birthday. He has now been active in the program analysis research community for over thirty years and we have enjoyed many interactions with him. His work on characterising simulations between Kripke structures using Galois connections was particularly influential in our own work on using probabilistic abstract interpretation to study Larsen and Skou's notion of probabilistic bisimulation. We briefly review this work and discuss some recent applications of these ideas in a variety of different application areas.
AU - Hankin,C
DO - 10.4204/EPTCS.129.20
EP - 340
PY - 2013///
SN - 2075-2180
SP - 337
TI - A short note on Simulation and Abstraction
T2 - Electronic Proceedings in Theoretical Computer Science, EPTCS
UR -
VL - 129
ER -