Perfect Local Computability and Computable Simulations. - Russell Miller 001; Dustin Mulcahey (CiE, 2008)