BSML-Multicore est une extension parallèle pour le langage OCaml, intégrant le modèle de parallélisme BSP (Bulk Synchronous Parallelism). Ce projet permet aux développeurs d'exploiter explicitement le parallélisme via des primitives dédiées, facilitant ainsi la création d'applications performantes et scalables. Il repose sur une implémentation multicœur d'OCaml et propose des outils pour modéliser et valider les sémantiques parallèles.

Ce projet propose une sémantique formelle pour le langage de programmation Erlang, axée sur l'ordre des messages et la gestion des signaux. Il vise à simplifier la représentation du parallélisme et de la concurrence, tout en offrant une modélisation des comportements de surveillance et de gestion des exceptions. Les fonctionnalités telles que la création dynamique de processus, la représentation du temps continu ou la mise à jour dynamique du code ne sont pas prises en charge.