The fundamental idea of BSP is the notion of a superstep. In a superstep, computation and communication are decoupled. This avoids deadlock.
First the processes perform as many calculations as possible using their local data. If one processor needs data from another, communication starts only after all the computation has stopped. When communication is finished, barrier synchronisation is called and the next superstep begins.