The Multi-ML language !
BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers