ASEP Publikace Formalizing, Analyzing and Extending the Model of Bulk Synchronous Parallel Computer (2000)
