(OTish) anybody used BSP?

hi,

i'm trying to read up on concurrency systems which help
provably/statically avoid deadlock. Bulk Synchronous Parallel
implementations apparently variously help avoid deadlock and/or
livelock. there are some older implementations for C/++, OCaml,
Python, and Java, but on the whole it doesn't seem to have taken the
world by storm (those implementations aren't exactly big time,
afaict). anybody ever worked with it?

thanks.