Elle est basée sur une implémentation des moniteurs de Hoare d'une part, et des insctructions conditionnelles d'autre part.
