Abstract
This paper considers the estimation and prediction problems when lifetimes are Pareto-distributed and are collected under Type II progressive censoring with random removals, where the number of units removed at each failure time follows a Binomial distribution. The analysis is carried out within the Bayesian context.