Abstract : A nonparametric Bayesian estimator F (circumflex) of the survival function F constructed from time-sequential progressively censored observations is found to subsume several estimators of F utilized in practice. Weak convergence of F (circumflex) is developed and the limiting process is found to coincide with that obtained when complete response profiles of the sample are available, leading to suitable application of F (circumflex) with consequent reductions in costs and time and without loss of asymptotic accuracy. (Author)