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