Is the MapReduce framework a type of BSP?
In section 2 of http://arxiv.org/abs/1101.1902, the authors define a model of MapReduce that is intentionally structured like BSP. They prove simulation theorems as well. May be a good place to start.