Por ejemplo, en el lenguaje de programación Ada se considera que las primitivas de sincronización están invertidas: se construyen exclusiones mutuas o "mutex" como sencilla aplicación de la noción de "rendevouz" que es en sí más compleja.