The paper entitled “Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems” by Mingzhang Huang, Hongfei Fu (both from Shanghai Jiao Tong University), Joost-Pieter Katoen has been accepted to the journal Information and Computation. The paper shows that proving probabilistic similarity between a finite probabilistic transition system (specification) and a probabilistic pushdown automaton (implementationI is EXPTIME-complete.