Как язык Io автоматически определяет взаимоблокировку?

Я читал, что язык Io имеет Futures , которые могут автоматически определять взаимоблокировки. Я ничего об этом не знаю и видел некоторый синтаксис. Как с этим языком Io обнаруживаются взаимоблокировки?