Simpler Backward Simulation Proofs

Simon Doherty, Lindsay Groves. Simpler Backward Simulation Proofs. In Taso Viglas, Alex Potanin, editors, Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010. Volume 109 of CRPIT, pages 71-78, Australian Computer Society, 2010. [doi]

Authors

Simon Doherty

This author has not been identified. Look up 'Simon Doherty' in Google

Lindsay Groves

This author has not been identified. Look up 'Lindsay Groves' in Google